The Genode project has released version 11.11 of their OS framework, which allows the construction of spezialized operating systems out of building blocks including 8 different kernels, plenty of device drivers, and an increasing number of system services.