Release des Genode OS 20.08
Die Terminologie, die die Autoren von Genode Labs bevorzugen, beschreibt den Framework zur Erstellung von Betriebssystemen. Dieser Mikrokernel-OS-Builder unterstützt mehrere Mikrokerne der L4-Familie, den Muen-Kernel und das eigene minimalistische Kernel base-hw. Die Entwicklungen sind unter der AGPLv3-Lizenz und auf Wunsch auch unter einer kommerziellen Lizenz erhältlich: https://genode.org/about/licenses. Der Versuch, eine Version zu erstellen, die von jemand anderem als Mikrokernel-Enthusiasten verwendet werden kann, wird als […] bezeichnet.
