Our FOSDEM presentations are online Mar 15, 2020

This year's FOSDEM was rich of Genode-related presentations. In the meanwhile, all the talks by Genode Labs have become available online.

On Saturday, Martin Stein presented his experimental kernel named Spunky, which is a re-implementation of Genode's custom kernel in Ada/SPARK.

https://fosdem.org/2020/schedule/event/ada_spunky/

On Sunday, Norman Feske gave a live demonstration of Sculpt OS. If you are interested in the capabilities of Sculpt OS 20.02, this talk will give you a head start.

https://fosdem.org/2020/schedule/event/uk_sculpt/

Stefan Kalkowski presented our recent development of running Genode on 64-bit ARM platforms, running Sculpt OS live on an i.MX8 board:

https://fosdem.org/2020/schedule/event/uk_genode_armv8/