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 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

tidux Member since:
2011-08-13

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

kwan_e Member since:
2007-02-18

Rust could be what Ada once was, only with the distinction of preexisting hobbyist buy-in.


I think Ada still is. It's just not "sexy".

Ada is old and crusty so it only gets used for serious stuff and stuff that needs to be supported whatever the cost.

Rust is new and part of the culture of creating something from scratch every time design mistakes catch up to them but they don't want to do the real engineering work when it does, opting to repeat other people's mistakes by starting over again. But then, you did say "hobbyist" already ;)

Hobbyist buy-in is like an oxymoron.

Reply Parent Score: 4