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. 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.
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 | 23.11 / 30 November 2023 |
| Repository | github |
| Marketing target | Desktop computers Embedded systems |
| Available in | English |
| Platforms | ARM, RISC-V, x86, x86-64 |
| Kernel type | Microkernel |
| Userland | Genode, POSIX |
| License | AGPL-3.0-only and commercial |
| Official website | genode |
Genode can be used as a basis for a desktop computer or tablet 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 and ARM.
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, inter-process communication, IP stack isolation, monitoring, and software development.