DARPA funds building stuff on seL4

[Gernot Heiser]

DARPA has just issued a SBIR call titled "Secure Software Components Leveraging the seL4 Microkernel”, see
https://www.dodsbir.net/sitis/display_topic.asp?Bookmark=45918

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.

Gernot