Linked by subterrific on Mon 9th Jan 2017 22:25 UTC
OSNews, Generic OSes

Rux's goal is to become a safe general-purpose microkernel. It tries to take advantage of Rust's memory model - ownership and lifetime. While the kernel will be small, unsafe code should be kept minimal. This makes updating functionalities of the kernel hassle-free.

Rux uses a design that is similar to seL4. While there won't be formal verification in the short term, it tries to address some design issues of seL4, for example, capability allocation.

The code is very approachable for anyone interested in capability-based microkernel design.

Permalink for comment 639522
To read all comments associated with this story, please click here.
RobG
Member since:
2012-10-17

To be fair, I've used C++ about 1990, and its just getting too long in the tooth. Not enough deprecation in there - largely, I guess, due to the way its module system is based on textual inclusion - so it is hard to change things without breaking compatibility.

Templates are lovely, but end up with almost everything being in a header, so compile times just get worse. Without Concepts, error messages keep getting more complex, frequently surfacing in library code the developer should have no reason to know exist.

I know there are proposals for both modules and concepts, but they seem to be permanently kicked to the next version.

I've been experimenting with Rust, and must admit that even in its current state it is just a nicer experience, to me, than C++ development. I wish them every success.

Reply Parent Score: 2