Genode Operating System Framework
/All repositories
Overview
Archived Repository
Archived repositories are excluded from Health Score and Security & Best practices. You can still access historical data of Contributors, Popularity, or Development metrics.
Project Achievements
Leaderboards
About
Genode is a microkernel-based operating system framework that enables the creation of specialized operating systems with strong security and real-time capabilities. It uses a component-based architecture where system functions are split into isolated components that communicate via well-defined interfaces, enhancing security and reliability.
First commit
Software value
$17M
Tags
arm
cplusplus
cpp
framework
genode
goa
hypervisor
linux
microkernel
nova
object-capabilities
operating-system
osdev
riscv
sculpt-os
sel4
virtualization
x86
License(s)
Other
Data sources
Git
GitHub