Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Genode
 | |
 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.08[1]  / 29 August 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 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]
- ^ "Release 24.08". 29 August 2024. Retrieved 21 September 2024.
- ^ "Genode OS adds RISC-V support".
- ^ Larabel, Michael. "Genode Is Developing A GPU Multiplexer For Intel Graphics Hardware". Phoronix.
- ^ "Introduction of the Genode OS Framework". archive.fosdem.org/2012.
- ^ "L4 Based Operating Systems". L4hq.org. Archived from the original on 2018-06-14. Retrieved 2018-06-01.
- ^ Larabel, Michael. "Redox OS, MINIX, Hurd & Genode Had Their Time at FOSDEM Too". Phoronix.
- ^ Baader, Hans-Joachim. "Genode 2018.2 mit Sculpt OS". pro-linux.de.
- ^ Larabel, Michael. "Sculpt Aims to Be a General-Purpose OS Built Atop Genode".
- ^ Tarasikov, Alexander (2013-05-11). "Porting Genode to commercial hardware". I hate software. Blogger.
- ^ "Muen: An x86/64 Separation Kernel for High Assurance".
- ^ Williams, John. "Inspecting data from the safety of your trusted execution environment" (PDF).
- ^ "Embassies: Radically Refactoring the Web" (PDF). USENIX.
- ^ Wegner, Martin; Holthusen, Sönke (2014-12-11). "Contract Specification and language". ccc-project.org. Archived from the original on 2019-03-27. Retrieved 2018-06-01.
- ^ Hamad, Mohammad (2016-01-06). "The Secure Communication Module of CCC". ccc-project.org. Archived from the original on 2019-01-23. Retrieved 2018-06-01.
- ^ Hamad, Mohammad. "A communication framework for distributed access control in microkernel-based systems" (PDF).
- ^ Pruthiviraj, B.; Madhusuthun, G.S.; Vijayasarathy, S.; Chakrapani, K. "A Microkernel Based Secure Operating System Using Genode Framework" (PDF). JATIT.
- ^ Hähne, Ludwig. "Empirical Comparison of SCons and GNU Make" (PDF).
- ^ Millo-Sánchez, Reinier; Paz Rodríguez, Waldo; Fajardo-Moya, Alexis. "Genode OS Framework, un framework para el desarrollo de sistemas embebidos". ResearchGate.
Previous Page Next Page
