DARPA funds building stuff on seL4

Gernot Heiser <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]> 
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.