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.
raskyld / sel4-rust-playground Goto Github PK
View Code? Open in Web Editor NEWJust an attempt to learn more about OSDev, Rust and seL4 at the same time while getting my hands dirty.
License: Apache License 2.0