![]() | |
![]() The desktop system Sculpt based on Genode | |
Developer | Genode Labs |
---|---|
Written in | C++ |
Working state | Current |
Source model | Open source |
Initial release | 2008 |
Latest release | 24.05[1] ![]() |
Repository | github |
Marketing target | Desktop computers Embedded systems |
Available in | English |
Platforms | ARM, RISC-V,[2] x86, x86-64[3] |
Kernel type | Microkernel |
Userland | Genode, POSIX |
License | AGPL-3.0-only and commercial |
Official website | genode |
Genode is a free and open-source software operating system (OS) framework consisting of a microkernel abstraction layer and a set of user space components.[4][5][6] The framework is notable as one of the few open-source operating systems not derived from a proprietary OS, such as Unix. The characteristic design philosophy is that a small trusted computing base is of primary concern in a security-oriented OS.
Genode can be used as a basis for a desktop computer[7][8] or tablet[9] OS or as a virtual machine monitor for guest operating systems. The framework has been used as a trusted component of secure virtualization systems for both x86[10] and ARM.[11]
The small codebase of Genode makes it a flexible alternative to more complex Unix-derived operating systems. For this reason the framework has been used as a base system for research in such fields as virtualization,[12] inter-process communication,[13] IP stack isolation,[14][15] monitoring,[16] and software development.[17][18]