Genode
Free and open-source software operating system / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Genode?
Summarize this article for a 10 year old
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.
Developer | Genode Labs |
---|---|
Written in | C++ |
Working state | Current |
Source model | Open source |
Initial release | 2008; 16 years ago (2008) |
Latest release | 24.02[1] / 29 February 2024; 2 months ago (29 February 2024) |
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 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]