The Genode operating system framework that’s been going strong for over a decade and continuing to employ a micro-kernel architecture continues to plan for an interesting future…

Source: Phoronix – Genode OS Draws Up 2020 Plans Of USB Audio, A Kernel Written In Ada