SeL4: formal verified kernel with a para-virtualised Linuxertos.nicta.com.au1 point·dcerezo··0 commentsOpen articleSaveView on HN