Related to a EPITA System and Security Laboratory conference. This is a research project on opensource exokernels.
Contact: daniel.frederic@lse.epita.fr or daniel.frederic@epita.fr
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