www. O S N E W S .com
News Features Interviews
BlogContact Editorials

Rux: a hobbyist microkernel written in Rust
By special contributor subterrific on 2017-01-09 22:25:53

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.

34  Comments - Printer friendly - Related stories
Recent related stories
- One night in Rio: vacation photos from Plan9 - 2017-04-17
- Samsung's Tizen is a cracker's dream - 2017-04-04
- Sharp 80: TRS-80 Model III Emulator for Windows - 2017-03-29
- Installing SymbOS on an emulated MSX2+ - 2017-03-07
- OpenVMS March 2017 development update - 2017-03-07
- More related articles
 

Tell a friend
Your full name:
Your email address:
Your friend's email:
Anti-spam measure:
5+2=

News Features Interviews
BlogContact Editorials


WAP site - RSS feed
© OSNews LLC 1997-2007. All Rights Reserved.
The readers' comments are owned and a responsibility of whoever posted them.
Prefer the desktop version of OSNews?