Live briefing
Everything about Genode
Free and open-source software operating system
Genode is a novel OS architecture that aims to improve software safety by applying a strict organizational structure to all software components including device drivers, system services, and applications. Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: GenodeA 5-minute orientation
- Pick up a classic book: Earth FriendsThe most-reprinted book on the subject
- Go sideways: L4 microkernel familyA closely related topic
- Go sideways: Rump kernelA closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🏆 Landmark papers (most cited)
- No matching papers found.
đź“š Books worth reading
Earth FriendsHolly Webb · 2021- 📕Reges fun genodPessie Pomerantz-Honigbaum · 1957
Genod Gwych a Merched MedrusMedi Jones-Jackson, Dyfan Williams · 2020
Genod Gwych a Merched Medrus 2Medi Jones-Jackson, Dylunydd: Dyfan Williams · 2021- 📕Casting Shadow on the Tattoo TrailE. Kelly · 2021
- 📕Genod neisEleri Llewelyn Morris · 1993
- 📕Y genod yn ein bywydCaradog Prichard · 1964
- 📕Reges fun genodPessie Pomerantz-Honigbaum · 1957
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
đź”— Related topics
- L4 microkernel family L4 is a family of second-generation microkernels, used to implement a variety of types of operating systems (OS), though mostly for Unix-like, Portable…
- Rump kernel The NetBSD rump kernel is the first implementation of the "anykernel" concept where drivers either can be compiled into or run in the monolithic kernel…
- Microkernel In computer science, a microkernel (often abbreviated as μ-kernel) is the near-minimum amount of software that can provide the mechanisms needed to implement…
- SeL4 seL4 (security enhanced L4) is an open-source, high-assurance, capability-based microkernel. It inherits the performance and design characteristics of…
- GNU Hurd GNU Hurd is a collection of microkernel servers written as part of GNU, for the GNU Mach microkernel. It has been under development since 1990 by the GNU…
- Gernot Heiser Gernot Heiser (born 1957) is a German-Australian computer scientist. He is a Scientia Professor and the John Lions Chair for operating systems at UNSW…
- Kernel (operating system) A kernel is a computer program at the core of a computer's operating system that always has complete control over everything in the system. The kernel…
- XNU XNU ("X is Not Unix") is the computer operating system (OS) kernel developed at Apple Inc. since December 1996 for use in the Mac OS X (now macOS) operating…