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

Mon, 08 Oct 2018 20:31:23 -0700 

… and mentions seL4 prominently: https://www.sbir.gov/sbirsearch/detail/1508741
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to