seL4 kernel build and configuration
This repository helps with building compatible configurations of the seL4 kernel for Robigalia. Its structure is similar to sel4test, but doesn't contain any of the userspace C libraries.
The submodules here should be kept in careful sync with sel4-sys, especially the kernel submodule.
Building the kernel
Look at the
configs directory, and run
make $PLAT_defconfig. For example,
You can then run
make and the kernel will be built into
Configuring the kernel
By default, debug printing is enabled for the kernel.
You can tweak the kernel config with
make menuconfig. Be warned that some
settings may break the Rust userspace support! In particular, for x64:
XSAVE_SIZEof less than 576 will break creating TCBs
SYSENTER=ywill break all syscalls.
HUGE_PAGE=ywill probably break object type numbering, and thus creating new objects.
For ARM: we don't support ARM yet.
Currently supported platforms are x64 "PC99".
There is a config for x86 PC99, but it is completely untested, since we don't support 32-bit at all anymore.