from the article he mentions as one of the accomplishments: - Bring Kubernetes on weapon systems, including jets and space systems, where we demonstrated tha

from the article he mentions as one of the accomplishments: - Bring Kubernetes on weapon systems, including jets and space systems, where we demonstrated that containerization was not only possible but game-changing on Real-Time OS and legacy hardware I wonder what kind of hardware specs make up the computer inside these jets. Also given he also mentions performing the first OTA update to these jets it makes me wonder if they used TUF (https://theupdateframework.io https://theupdateframework.io) or yocto.