Beast code in Giters

C4-OS's repositories

L4-like microkernel

Language:C100

Top-level repository for the C4 operating system

Language:C100

Some programs to test after booting, this will probably be removed later

Language:C100

c4 runtime library

Language:C000

Port of the musl libc

Language:CNOASSERTION000

Hierarchical name to service resolver

Language:C000

The Rumprun unikernel and toolchain for various platforms

Language:CNOASSERTION000

The initial task which brings up the system

Language:C020