Minimal Rust kernel