As a UX engineer and not an OS dev, I find the on-boarding process to be full of unnecessary challenges. Just figuring out where to start is difficult because the documentation for seL4, LionsOS, and microkit is spread across multiple sites. The tutorials appear to be ported from homework assignments and the location of the solutions is non-obvious (they should ideally be located inline with the tutorial).
I appreciate that there is value in materials focused on educating people on embedded OS development. But as a professional idiot, I would like to be able to clone a repo that already has the basics setup (like debug stdio, drivers, file-system, etc) and a simple example Rust/C program that explains init, PPC, notified, and fault.
Would it make sense to have the LionsOS site focus on higher-level concepts while leaving the lower level fiddling to the seL4 website?