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 639495
To read all comments associated with this story, please click here.
Member since:

Rust could be what Ada once was, only with the distinction of preexisting hobbyist buy-in. It's also at the heart of Servo, Mozilla's new browser engine to replace Gecko. Chuck in a C library and some POSIX compatibility for Unix software and you could have Redox become this decade's BeOS or OS X, an attempt to marry the best of unix to a more modern system.

Reply Parent Score: 3