3 ms·
Slow and steady, certainly this won't happen overnight. There is Redox, for the full-on ambitious plan to write an OS from scratch: https://www.redox-os.org ht
by kosinus 9y ago
Slow and steady, certainly this won't happen overnight.
There is Redox, for the full-on ambitious plan to write an OS from scratch: https://www.redox-os.org https://www.redox-os.org
Then there's the Rust rewrite of coreutils: https://github.com/uutils/coreutils https://github.com/uutils/coreutils
Someone also did the research on building a Linux kernel module in Rust, though it seems like quite the hassle: https://github.com/tsgates/rust.ko https://github.com/tsgates/rust.ko
- joshmarlow 9y agoDo you know of any discussion of rewriting parts of existing micro-kernels in Rust? There's lots of nuts and bolts details I don't know, but it seems like having OS components as separate services/processes would provide a nice way to start phasing out C/C++ and phasing in Rust.
- kosinus 9y agoI haven't seen anything like that, but I also rarely see microkernels in the wild. I'm not even sure if Rust runs on MINIX at all.
- steveklabnik 9y agoYou can do Rust + rumprun today, or at least, it worked in the past.
- im_down_w_otp 9y agoI can confirm that this works, with some effort, for some Rust programs packaged as rumprun unikernels targeting seL4.
- nickpsecurity 9y agoMINIX 3 or OC.L4 would be candidates. QNX could use it as an extra differentiator. For now, the only things like that that I recall off top of head are Muen done with provably safe SPARK language and Redox done in Rust language. https://muen.sk/ https://muen.sk/ https://redox-os.org/ https://redox-os.org/ There's also a project to essentially wrap seL4 in Rust to build apps on top of it: https://news.ycombinator.com/item?id=10848890 https://news.ycombinator.com/item?id=10848890