Genode

Genode
Desktop-System Sculpt basierend auf Genode
Entwickler	Genode Labs
Lizenz(en)	AGPLv3
Erstveröff.	August 2008
Akt. Version	24.11[1] vom 22. November 2024
Kernel	Mikrokern
Architektur(en)	Arm, RISC-V,[2] x86 (IA-32, x64)[3]
Kompatibilität	Genode API, POSIX
Sprache(n)	Englisch
genode.org

Genode^[4][5][6] ist ein freies Betriebssystem-Framework, welches aus einer Mikrokern-Abstraktionsschicht und einer Sammlung von Komponenten für den Benutzermodus besteht. Das Framework stellt eines der wenigen Open-Source-Betriebssysteme dar, die kein proprietäres Betriebssystem zum Vorbild hatten – wie etwa Unix. Das Design zielt vor allem darauf ab, die Menge an Quellcode, der eine Komponente vertrauen muss (engl. Trusted Computing Base), möglichst klein zu halten.

Genode kann als Basis für Desktop-^[7][8] oder Tablet-Betriebssysteme^[9] sowie als Virtual-Machine-Monitor für Gastsysteme genutzt werden. Das Framework wird als vertrauenswürdiger Teil von Virtualisierungssystemen sowohl auf x86^[10] als auch ARM^[11] eingesetzt.

Durch die kleine Codebasis dient Genode als flexible Alternative zu komplexeren unixoiden Betriebssystemen. Aus diesem Grund wird das Framework auch als Basissystem in der Forschung zu Themen wie Virtualisierung,^[12] Interprozesskommunikation,^[13] IP-Stack-Isolierung,^[14] Monitoring^[15] und Softwaretechnik^[16][17] eingesetzt.

1. ↑ Release 24.11. 22. November 2024 (abgerufen am 22. Dezember 2024).
2. ↑ Genode OS adds RISC-V support. Abgerufen im 1. Januar 1  Vorlage:Cite web: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.
3. ↑ Michael Larabel: Genode Is Developing A GPU Multiplexer For Intel Graphics Hardware. In: Phoronix. Abgerufen im 1. Januar 1  Vorlage:Cite web: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.
4. ↑ Introduction of the Genode OS Framework. In: archive.fosdem.org/2012. Abgerufen im 1. Januar 1  Vorlage:Cite web: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.
5. ↑ L4 Based Operating Systems. In: L4hq.org. Archiviert vom Original am 14. Juni 2018; abgerufen am 12. September 2018.  Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/l4hq.org  Vorlage:Cite web: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.
6. ↑ Michael Larabel: Redox OS, MINIX, Hurd & Genode Had Their Time At FOSDEM Too. In: Phoronix. Abgerufen im 1. Januar 1  Vorlage:Cite web: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.
7. ↑ Hans-Joachim Baader: Genode 2018.2 mit Sculpt OS. In: pro-linux.de. Abgerufen im 1. Januar 1 
8. ↑ Michael Larabel: Sculpt Aims To Be A General-Purpose OS Built Atop Genode. Abgerufen im 1. Januar 1  Vorlage:Cite web: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.
9. ↑ Alexander Tarasikov: Porting Genode to commercial hardware. In: allsoftwaresucks.blogspot.com. Abgerufen im 1. Januar 1  Vorlage:Cite web: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.
10. ↑ Muen - An x86/64 Separation Kernel for High Assurance. Abgerufen im 1. Januar 1  Vorlage:Cite web: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.
11. ↑ John Williams: Inspecting data from the safety of your trusted execution environment. Abgerufen im 1. Januar 1  Vorlage:Cite web: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.
12. ↑ Embassies: Radically Refactoring the Web. USENIX; abgerufen im 1. Januar 1  Vorlage:Cite web: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.
13. ↑ Martin Wegner, Sönke Holthusen: Contract Specification and language. In: ccc-project.org. Archiviert vom Original am 27. März 2019; abgerufen am 12. September 2018.  Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/ccc-project.org  Vorlage:Cite web: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.
14. ↑ Mohammad Hammad: The Secure Communication Module of CCC. In: ccc-project.org. Archiviert vom Original am 23. Januar 2019; abgerufen am 12. September 2018.  Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/ccc-project.org  Vorlage:Cite web: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.
15. ↑ B.PRUTHIVIRAJ, G.S.MADHUSUTHUN, S.VIJAYASARATHY, K.CHAKRAPANI: A MICROKERNEL BASED SECURE OPERATING SYSTEM USING GENODE FRAMEWORK. In: jatit.org. Abgerufen im 1. Januar 1  Vorlage:Cite web: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.
16. ↑ Ludwig Hähne: Empirical Comparison of SCons and GNU Make. Abgerufen im 1. Januar 1  Vorlage:Cite web: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.
17. ↑ Millo-Sánchez, Reinier & Paz Rodríguez, Waldo & Fajardo-Moya, Alexis: Genode OS Framework, un framework para el desarrollo de sistemas embebidos. In: ResearchGate. Abgerufen im 1. Januar 1  Vorlage:Cite web: Der Parameter language wurde bei wahrscheinlich fremdsprachiger Quelle nicht angegeben.