seL4 microkernel released as open source

Discussion in 'other security issues & news' started by lotuseclat79, Jul 30, 2014.

Thread Status:
Not open for further replies.
  1. lotuseclat79

    lotuseclat79 Registered Member

    Joined:
    Jun 16, 2005
    Posts:
    5,094
  2. lotuseclat79

    lotuseclat79 Registered Member

    Joined:
    Jun 16, 2005
    Posts:
    5,094
    seL4 Verified Microkernel Now Open Source.

    -- Tom
     
  3. Gullible Jones

    Gullible Jones Registered Member

    Joined:
    May 16, 2013
    Posts:
    1,459
    Awesome! I was wondering about running Linux on top of it. :)
     
Loading...
Thread Status:
Not open for further replies.