Brussels / 3 & 4 February 2018

schedule

Rux: Development of a Hobbyist Rust Microkernel

An Introduction to Rux


Rux is a hobbyist microkernel written in Rust. This talk will give a short overview over the Rux microkernel design and something I learned from it along the way. Besides a capability-based resource management system similar to seL4, Rux also tries to take full advantage of Rust's memory safety features. By "abusing" a little bit of the interrupt handlers, Rux is able to restore Rust's threading model during normal kernel runtime.

Speakers

Wei Tang

Links