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

26 Nov 2019


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

Ryan Carboni