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