PickVidsseL4 Is Free – What Does This Mean For You?
Why it was recommended
The whole talk is well worth a watch.
Recommendationrodgerd · Original
What it covers
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 is for someone who already knows the basic terms and wants the next step.
Video details
- Channel
- Linux.conf.au 2015 -- Auckland, New Zealand
- Length
- 49 min 45 sec
- Year
- 2015
More in this topic
- The Tragedy of systemd
- The Thirty Million Line Problem
- VCF East: Ken Thompson interviewed by Brian Kernighan
- LISA11 - Fork Yeah! The Rise and Development of illumos
- USENIX ATC '21/OSDI '21 Joint Keynote Address-It's Time for Operating Systems to Rediscover Hardware
- AT&T Archives: The UNIX Operating System