Genode

Genode
The desktop system Sculpt based on Genode
DeveloperGenode Labs
Written inC++
Working stateCurrent
Source modelOpen source
Initial release2008 (2008)
Latest release25.05  / 28 May 2025 (28 May 2025)
Repositorygithub.com/genodelabs/genode
Marketing targetDesktop computers
Embedded systems
Available inEnglish
PlatformsARM, RISC-V, x86-64
Kernel typeMicrokernel
UserlandGenode, POSIX
LicenseAGPL-3.0-only and commercial
Official websitegenode.org

Genode is a novel OS architecture that aims to improve software safety by applying a strict organizational structure to all software components including device drivers, system services, and applications.

Within the Genode project, the Operating System framework is an open-source tool kit for building highly secure component-based operating systems, whereas Sculpt is a pre-built distribution for personal computers and smartphones.

Genode is frequently used in academia for computer science research.