C4-OS

Pinned Repositories

C4-kernel
L4-like microkernel
Language:C11
C4-OS
Top-level repository for the C4 operating system
Language:C10
c4rt
c4 runtime library
Language:C00
initprogs
Some programs to test after booting, this will probably be removed later
Language:C10
musl
Port of the musl libc
Language:C00
nameserver
Hierarchical name to service resolver
Language:C01
rumprun
The Rumprun unikernel and toolchain for various platforms
Language:C00
sigma0
The initial task which brings up the system
Language:C0 2 00

C4-OS's Repositories

C4-OS/C4-kernel
L4-like microkernel
Language:C11
C4-OS/C4-OS
Top-level repository for the C4 operating system
Language:C10
C4-OS/initprogs
Some programs to test after booting, this will probably be removed later
Language:C10
C4-OS/c4rt
c4 runtime library
Language:C00
C4-OS/musl
Port of the musl libc
Language:C00
C4-OS/nameserver
Hierarchical name to service resolver
Language:C01
C4-OS/rumprun
The Rumprun unikernel and toolchain for various platforms
Language:C00
C4-OS/sigma0
The initial task which brings up the system
Language:C0 2 00