Spunky a Genode Kernel in Ada SPARK

Name: Spunky a Genode Kernel in Ada SPARK
Uploaded: 2020-01-01
Duration: 31 min 58 s
Description: Spunky a Genode Kernel in Ada SPARK — a 2020 FOSDEM 2020 security conference talk on linux-unix (31:58 min). Watch the full video, indexed free on the Breach Arc Archive.

FOSDEM 2020 · 2020 · 31:58

▶

Spunky a Genode Kernel in Ada SPARK — a 2020 FOSDEM 2020 security conference talk on linux-unix (31:58 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

linux-unix

← Back to the Breach Arc Archive