Skip to content
hackertubeai

Linux.conf.au 2015 -- Auckland, New Zealand

seL4 Is Free – What Does This Mean For You?

About this video

Gernot Heiser presents seL4, a microkernel with a mathematical proof connecting security properties to the binary code, and explains what its open-sourcing means for users. It covers its roles as a microkernel, separation kernel and hypervisor.

Keep your curiosity going.

A few more ideas from the same corner of the archive.

The Soul of Erlang and Elixir • Sasa Juric • GOTO 2019

GOTO Conferences

The Tragedy of systemd

linux.conf.au

"Testing Distributed Systems w/ Deterministic Simulation" by Will Wilson

Strange Loop Conference

Behind the Scenes of iOS Security

Black Hat