We use a docker image as a builder to ease the building process.
The first image should only build the kernel.elf
using a specified kernel config
and a predefined commit ref of the seL4 source.
Just an attempt to learn more about OSDev, Rust and seL4 at the same time while getting my hands dirty.
We use a docker image as a builder to ease the building process.
The first image should only build the kernel.elf
using a specified kernel config
and a predefined commit ref of the seL4 source.
Just an attempt to learn more about OSDev, Rust and seL4 at the same time while getting my hands dirty.
Apache License 2.0