an experimental, work-in-progress, microkernel based on some of my ideas for privilege separation.
src/libc/elf.h
from adachristinesrc/libc/vendor/getopt
from skeetosrc/libc/vendor/dlmalloc
from Doug Leasrc/libc/vendor/sortix/
has code from Sortixsrc/libk/include/bits/limits.h
based on heatd's codesrc/kernel/arch/amd64/3rdparty/multiboot2.h
from the FSF
# on debian
# TODO not yet verified on a clean install
apt-get install gcc git sparse # basics
apt-get install grub-pc-bin xorriso mtools # for the .iso
apt-get install g++ libgmp-dev lbmpfr-dev libmpc-dev # for the toolchain
apt-get install qemu-system-x86
src/
bootstrap/ first userland program ran by the kernel; embeds the initrd
cmd/ userland programs
kernel/
arch/amd64/
sysroot/
dummy sysroot to get gcc to behave
libc/
libk/ libc functions used by the kernel
cache/ download cache