1 result found Sort:

genodelabs
genode genodelabs
257
1.1k
other
81
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,908 commits to master branch, last one 25 days ago