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.


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.


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


postal address:

  Genode Labs GmbH
  Dammweg 2
  D-01097 Dresden

visiting address:

  Genode Labs GmbH
  Friedrichstr. 26
  D-01067 Dresden


  +49 351 3282613