Genode

Genode
The desktop system Sculpt based on Genode
DeveloperGenode Labs
Written inC++
Working stateCurrent
Source modelOpen source
Initial release2008; 16 years ago (2008)
Latest release24.10[1] Edit this on Wikidata / 30 October 2024; 23 days ago (30 October 2024)
Repositorygithub.com/genodelabs/genode
Marketing targetDesktop computers
Embedded systems
Available inEnglish
PlatformsARM, RISC-V,[2] x86, x86-64[3]
Kernel typeMicrokernel
UserlandGenode, POSIX
LicenseAGPL-3.0-only and commercial
Official websitegenode.org

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]

  1. ^ "Release 24.10". 30 October 2024. Retrieved 21 November 2024.
  2. ^ "Genode OS adds RISC-V support".
  3. ^ Larabel, Michael. "Genode Is Developing A GPU Multiplexer For Intel Graphics Hardware". Phoronix.
  4. ^ "Introduction of the Genode OS Framework". archive.fosdem.org/2012.
  5. ^ "L4 Based Operating Systems". L4hq.org. Archived from the original on 2018-06-14. Retrieved 2018-06-01.
  6. ^ Larabel, Michael. "Redox OS, MINIX, Hurd & Genode Had Their Time at FOSDEM Too". Phoronix.
  7. ^ Baader, Hans-Joachim. "Genode 2018.2 mit Sculpt OS". pro-linux.de.
  8. ^ Larabel, Michael. "Sculpt Aims to Be a General-Purpose OS Built Atop Genode".
  9. ^ Tarasikov, Alexander (2013-05-11). "Porting Genode to commercial hardware". I hate software. Blogger.
  10. ^ "Muen: An x86/64 Separation Kernel for High Assurance".
  11. ^ Williams, John. "Inspecting data from the safety of your trusted execution environment" (PDF).
  12. ^ "Embassies: Radically Refactoring the Web" (PDF). USENIX.
  13. ^ 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.
  14. ^ 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.
  15. ^ Hamad, Mohammad. "A communication framework for distributed access control in microkernel-based systems" (PDF).
  16. ^ Pruthiviraj, B.; Madhusuthun, G.S.; Vijayasarathy, S.; Chakrapani, K. "A Microkernel Based Secure Operating System Using Genode Framework" (PDF). JATIT.
  17. ^ Hähne, Ludwig. "Empirical Comparison of SCons and GNU Make" (PDF).
  18. ^ Millo-Sánchez, Reinier; Paz Rodríguez, Waldo; Fajardo-Moya, Alexis. "Genode OS Framework, un framework para el desarrollo de sistemas embebidos". ResearchGate.