2 Sep
2016
2 Sep
'16
12:23 p.m.
Genode have released version 16.08 of the Genode OS Framework on seL4. This provides a rich and mature framework for building dynamic systems on seL4 and is a major contribution to the seL4 ecosystem.
For details see the posting on the developer list: https://sel4.systems/pipermail/devel/2016-August/000967.html
Gernot