Das ursprünglich an der TU Dresden entstandene Betriebssystem Genode ist in der Version 9.11 erschienen. Die Software wird heute von Genode Labs als Open-Source-Projekt geführt, um eine Architektur für minimale und sichere Betriebssysteme zu schaffen.