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