seL4 Microkernel Status Update

Name: seL4 Microkernel Status Update
Uploaded: 2020-01-01
Duration: 50 min 27 s
Description: seL4 Microkernel Status Update — a 2020 FOSDEM 2020 security conference talk on linux-unix (50:27 min). Watch the full video, indexed free on the Breach Arc Archive.

FOSDEM 2020 · 2020 · 50:27

▶

seL4 Microkernel Status Update — a 2020 FOSDEM 2020 security conference talk on linux-unix (50:27 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

linux-unix

← Back to the Breach Arc Archive