US Army SBIR calls for open HW/SW stack
9 Oct
2018
9 Oct
'18
2:22 p.m.
… and mentions seL4 prominently: https://www.sbir.gov/sbirsearch/detail/1508741
2329
Age (days ago)
2329
Last active (days ago)
0 comments
1 participants
participants (1)
-
Gernot.Heiser＠data61.csiro.au