An experimental microkernel inspired by seL4. WIP
We meet in the #helios channel on irc.libera.chat.
The first time building, run
cp config.def.mk config.mk, then edit config.mk
to suit your needs.
make to build boot.iso, which can be written to a USB stick and booted on
make run to boot it in qemu.
make nographic will boot with only
a serial console (useful for manual testing), and
make check will run the