This is a very WIP (as in currently non-functional) x86-64 kernel written in Rust. The end goal is to create a kernel that provides maximal safe access to the underlying hardware (similar to the exokernel design) and mandatory access control based on IPC.