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...