3 ms·
If you're reading this, there's a decent chance you'll be interested in Robigalia, which is an OS that couples SEL4 with a Rust userland: https://robigalia.org
by ZenoArrow 10y ago
If you're reading this, there's a decent chance you'll be interested in Robigalia, which is an OS that couples SEL4 with a Rust userland:
https://robigalia.org/ https://robigalia.org/
Aside from the security approach of the OS design, I believe the plan is to formally verify the Rust code once tools for verifying Rust are ready for production use.
https://robigalia.org/blog/2016/11/15/verfication.html https://robigalia.org/blog/2016/11/15/verfication.html
- cmrx64 10y agoGood timing, I'm putting out the one-year retrospective on Robigalia in just a few minutes :)
- hackuser 10y agoThe website's front page doesn't tell me too much. Is it *nix compatible? Something entirely different?
- cmrx64 10y agoEntirely different, but with a *nix compatability environment (not unlike Windows' lxss or Solaris' brands/zones)
- elcritch 10y agoVery promising looking project. I was looking into it last week and read through some code, but it seems somewhat fragmented. They're undertaking a lot but don't appear to have a large active community. Still there are a number of projects and they look to have a full GUI running. Impressive, perhaps it speaks to the productivity of Rust. All in all, hopefully the project continues forward. It'd be great to try!
- Animats 10y ago"Create a highly reliable persistent capability OS, continuing the heritage of EROS and Coyotos". That's nice, but the long, long history of EROS and its successors makes Gnu HURD look like a fast-moving project. Get Rust onto SEL4 for embedded systems and you'll have something. Get a router on that and you'll have a business.