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.

Thread beginning with comment 639533
To view parent comment, click here.
To read all comments associated with this story, please click here.
zlynx
Member since:
2005-07-20

I think that you may be missing the fact that Rust isn't written by hobbyists. It's written and used primarily by professionals with experience in one of the largest C++ code bases on the planet: Firefox. Firefox is big enough that it requires 64-bit build tools to compile on Windows. And it is popular enough that it is a major target for malicious hacking.

These people know exactly what problems they have and what they're solving.

Being attractive to hobbyists is a nice side benefit.

Reply Parent Score: 2

kwan_e Member since:
2007-02-18

I think that you may be missing the fact that Rust isn't written by hobbyists. It's written and used primarily by professionals with experience


I don't see why "professionals with experience" can't be hobbyists. I'm not talking about skill level.

Reply Parent Score: 2