DARPA funds building stuff on seL4

Gernot Heiser gernot at cse.unsw.edu.au
Thu Dec 18 00:54:06 CET 2014

DARPA has just issued a SBIR call titled "Secure Software Components Leveraging the seL4 Microkernel”, see

The SBIR program funds “small” enterprises (that’s <500 employees in US speak) that are majority US-owned. The program clearly aims at developing an ecosystem around seL4. In the past US company that won SBIR projects sub-contracted some of the work to NICTA, so there seems to be no problem in involving foreign entities as subcontractors.


More information about the l4-hackers mailing list