[flossly]

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.

[snapplebobapple]

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.

[flossly]

I think C is hard for newcomers. Zig/Rust have a better story there.

[sanxiyn]

You can do something like rump kernel to reuse drivers.

https://rumpkernel.github.io/

[genxy]

Run Linux as a guest in KVM to manage the hardware.