1 result found Sort:

genodelabs
genode genodelabs
256
1.1k
other
82
Genode OS Framework
arm cpp goa x86 nova sel4 linux osdev riscv genode cplusplus framework sculpt-os hypervisor microkernel virtualization operating-system object-capabilities
Created 2011-12-20
13,727 commits to master branch, last one 10 days ago