4 comments

[ 3.9 ms ] story [ 19.9 ms ] thread
Looking through the page and the main readme I have lots of questions...

I'm vaguely curious what is or is not missing for aarch/riscv, also what else is/is not implemented? e.x. is there audio support? can I plug a USB drive in?

Also, Is there a section with documentation on the architecture?

This first Rust/Zig kernel that allows Linux drivers to be ported over with ease (LLM assisted) could pick up a lot of run-on-bare-metal usage. Linux is the only FLOSS kernel that has broad hardware support.
Why would that be? To me it doesn't seem that interesting vs going to an l4 type kernel that is mathematically verified secure in various operations.