[seL4] US Army SBIR calls for open HW/SW stack

[Ryan Carboni]

What we need is space age technology. What we need, is SpaceWire:
https://en.wikipedia.org/wiki/SpaceWire