SeL4: The most highly assured and fastest operating system kernel

• Posted 3 hours ago by doener
• 2 points