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 639489
To read all comments associated with this story, please click here.
New breed of robust operating systems?
by Alfman on Mon 9th Jan 2017 23:57 UTC
Alfman
Member since:
2011-01-28

I don't know what's up with the coverage of rust operating systems, but good ;) At this pace I don't know they'll be enough to last though 2017 though, haha. I'd like to keep the discussion going...

The language of choice for many hobby OS developments traditionally has been C/C++ by convention, which is understandable given the defacto status it has, but over the decades these tend to fall into the "me too" category. So I'm encouraged that more hobby OS devs are opting to break convention and go with rust, or really anything with safe-by-default semantics. Java and other managed languages offered that, but IMHO they were always held back by undesirable runtime tradeoffs.

These new breed of operating systems could finally crack the plateau of security we've been stuck at with complex C based operating systems. What's not clear is whether they can ever catch up in an economic race to the front that started 25-35 years ago. These entries are so far behind now that it's hard to envision them ever becoming mainstream.

I've lost faith that change can be driven by the users who tend to play with these operating systems. Still, in theory one of these could eventually catch the eye of a multinational company, say sony, and in an attempt to beef up security for the playstation, which keeps getting hacked, they might eventually invest in more secure operating systems. It could be enough to slowly kick-start a commercial rustlang economy.


...Discuss!

Reply Score: 4