Related to a EPITA System and Security Laboratory conference. This is a research project on opensource exokernels. Contact: [email protected] or [email protected] Related conference link coming soon (in french)

Build status and execution on various gcc and clang:

# Generate iso_root
make
# Once you created your elf, edited the limine submodules in iso_root/limine.cfg and put your elf file. defaults hangs all cores.
# This generate the iso $(KERNEL).iso
make iso
# To test in qemu for x86_64
make test

Mostly for developers, to apply a kernel patch without changing files in ramdisk (change only kernel elf)

make regen_kernel