Miért is jó az L4 kernel?

Mondjuk ezért:
http://www.youtube.com/watch?v=iwJey_MN74k

( trey | 2014. 07. 31., cs – 09:56 )

Ez jó! Elsőre azt hittem, hogy valami Ubuntu reklám, annyi Ubuntu képernyőt lehet benne látni. Kiteszem a főoldalra. Köszi!

--
trey @ gépház

( handler | 2014. 07. 31., cs – 10:16 )

egy masik, hasonlo project (kisse mas cellal):

http://muen.codelabs.ch/

"The Muen Separation Kernel is the world’s first Open Source microkernel that has been formally proven to contain no runtime errors at the source code level. It is developed in Switzerland by the Institute for Internet Technologies and Applications (ITA) at the University of Applied Sciences Rapperswil (HSR). Muen was designed specifically to meet the challenging requirements of high-assurance systems on the Intel x86/64 platform. To ensure Muen is suitable for highly critical systems and advanced national security platforms, HSR closely cooperates with the high-security specialist secunet Security Networks AG in Germany."

"A Separation Kernel (SK) is a specialized microkernel that provides an execution environment for components that exclusively communicate according to a given security policy and are otherwise strictly isolated from each other. The covert channel problem — largely ignored by other platforms — is addressed explicitly by these kernels."