Comments on: Open Kernel Labs’ kernel proved correct http://blogoftrust.com/open-kernel-labs-kernel-proved-correct/465 Watching the trusted computing world Sat, 21 May 2011 18:45:24 +0000 hourly 1 http://wordpress.org/?v=3.2.1 By: State of the art in Secure Operating Systems | Blog of Trust http://blogoftrust.com/open-kernel-labs-kernel-proved-correct/465/comment-page-1#comment-13995 State of the art in Secure Operating Systems | Blog of Trust Tue, 11 May 2010 14:44:53 +0000 http://blogoftrust.com/open-kernel-labs-kernel-proved-correct/465#comment-13995 [...] European Union and the USA’s best are described in outline; to me the one of most interest is selL4, Secure L4, as it is a real product and is closely related to the OKL4 kernel that appears in such places as [...] [...] European Union and the USA’s best are described in outline; to me the one of most interest is selL4, Secure L4, as it is a real product and is closely related to the OKL4 kernel that appears in such places as [...]

]]>