Sources to the Master's thesis: Safe Kernel Programming with Rust - View it on GitHub