Kernel concepts written in Rust