SeL4: formal verified kernel with a para-virtualised Linux Posted by dcerezo on Sunday March 06, 2011 @10:00AM from the ertos.nicta.com.au dept. http://ertos.nicta.com.au/research/sel4/ ( no comments | on HN )
There are no comments yet.