Genode

Genode

The desktop system Sculpt based on Genode
Developer	Genode Labs
Written in	C++
Working state	Current
Source model	Open source
Initial release	2008; 17 years ago (2008)
Latest release	25.02[1]  / 28 February 2025; 2 months ago (28 February 2025)
Repository	github.com/genodelabs/genode
Marketing target	Desktop computers Embedded systems
Available in	English
Platforms	ARM, RISC-V, x86-64
Kernel type	Microkernel
Userland	Genode, POSIX
License	AGPL-3.0-only and commercial
Official website	genode.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.