Comment on Maestro, a Linux compatible kernel written in Rust.
bacon_pdp@lemmy.world 8 months ago
50MB for a sub POSIX kernel and a shell prompt for a 50MB ISO image that has less functionality than a 4KB kernel (L4SEC) which has actual formal proofs of correctness.
Well, I guess it has Rust as a selling point but that isn’t something that should matter if the goal is real security.
kernelle@lemmy.world 8 months ago
I wouldn’t take it so seriously, it’s a passion project from a person learning about Rust and OS structure. Don’t compare this project against industry professionals.
gian@lemmy.grys.it 8 months ago
Why not ? Even Linux started as a personal fun project. Let’s see where it will go
kernelle@lemmy.world 8 months ago
For sure, but making an OS is not a one man job anymore.
shadearg@lemmy.world 8 months ago
Bah gaw. Terry Davis would say you “glow in the dark.”