1 result found Sort:

genodelabs
genode genodelabs
250
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,465 commits to master branch, last one about a month ago