A modular 64-bit Unix-like kernel written in Rust