Genode

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Genode
Genode logo text.png
2018-06-13-overlay-tc.png
Developer Genode Labs
Working state Stable release
Source model Open source
Initial release 2008; 10 years ago (2008)
Latest release 18.08..[1] / August 30, 2018; 1 day ago (2018-08-30)
Marketing target Desktop, embedded
Available in English
Platforms ARM, RISC-V[2], x86, x86-64[3]
Kernel type Microkernel
Userland Genode, POSIX
License AGPLv3
Official website genode.org

Genode[4][5][6] is a free and open-source operating system framework consisting of a microkernel abstraction layer and a collection of userspace 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.

Genode can be used as a basis for a desktop[7][8] or tablet[9] OS or as a virtual machine monitor for guest operating systems. The framework has been used as 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], monitoring[15], and software development[16][17]

History[edit]

Genode was first conceived as the Bastei OS Architecture[18] research report at the Technical University of Dresden. The focus of the report was to determine the practicality of a component-based OS using capability-based security. This report was motivated in part by research into L4 microhypervisors[19] conducted during the same period. Following the success of an early prototype, the authors of the report founded a company to develop Bastei as the Genode OS Framework.

Releases[edit]

The project is developed publicly as an open source project released under the terms of the GNU Affero General Public License with a commercial entity offering alternative licensing. Releases are scheduled at three-month intervals to make changes to the OS ABI and APIs and issue documenation. The OS framework is available in source code form and following the 18.02 release a general purpose derivative called Sculpt is provided with on-target binary deployment.

Architectural features[edit]

Genode builds on the general philosophy of microkernels - the smaller and simpler the code, the easier it is to verify for trustworthiness and correctness. Genode extends this philosophy to userspace by composing complex applications from small components. Each component exists in a strict hierarchy of parent-child relationships. Any component acting as a parent of another may apply resource and IPC access policies, mitigating the confused deputy problem endemic to centralized or superuser system policy.

The features of any given microkernel fall mostly within a common set, and monolithic kernels implement a superset of those features. Genode is designed to abstract away the differences between kernels and thus can be hosted by several of the L4 family kernels[20][21]. The experience of developing prototypes using the Linux kernel necessitated an abstraction between the kernel and a Genode userspace. In 2016[22] binary compatibility was achieved across all kernels supported for a given machine architecture.

References[edit]

  1. ^ "Genode OS Framework release 18.08". 
  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. 
  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. "Porting Genode to commercial hardware". allsoftwaresucks.blogspot.com. 
  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. ^ Martin Wegner, Sönke Holthusen. "Contract Specification and language". ccc-project.org. 
  14. ^ Hammad, Mohammad. "The Secure Communication Module of CCC". ccc-project.org. 
  15. ^ B.PRUTHIVIRAJ, G.S.MADHUSUTHUN, S.VIJAYASARATHY, K.CHAKRAPANI. "A MICROKERNEL BASED SECURE OPERATING SYSTEM USING GENODE FRAMEWORK" (PDF). jatit.org. 
  16. ^ Hähne, Ludwig. "Empirical Comparison of SCons and GNU Make" (PDF). 
  17. ^ Millo-Sánchez, Reinier & Paz Rodríguez, Waldo & Fajardo-Moya, Alexis. "Genode OS Framework, un framework para el desarrollo de sistemas embebidos". ResearchGate. 
  18. ^ "TU Dresden technical report TUD-FI06-07" (PDF). 
  19. ^ "NOVA Microhypervisor". 
  20. ^ "L4 Based Operating Systems". L4hq.org. 
  21. ^ "SeL4 Community Projects". sel4.systems. 
  22. ^ "Release notes 16.08". 

External links[edit]

Official webpages
Research projects