Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 36 million developers.Sign up
Forked from udosteinberg/NOVA
Forked from genodelabs/genode
Genode OS Framework
Forked from TUD-OS/seoul
A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
Forked from TUD-OS/NUL
Forked from TUD-OS/morbo
A toolchain for Firewire booting and remote DMA
Forked from ssumpf/foc
Fork of Fiasco.OC and parts of L4RE that are used by the Genode framework.