Pre-RFC: Build interface

I would prefer that the project be responsible for providing a loader, but without a well defined interface for that loader to start the kernel, that’s difficult actually work in practice. If the boot interface proposal gets enough interest to look like it will resolve this then I’d prefer to change this proposal.

For building the kernel standalone, you should be able to initialise a CMake build directory with the source path being specific as the kernel source directory.

mkdir build
cd build
cmake -G Ninja -S /path/to/seL4 .
ninja