DARPA funds building stuff on seL4
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