There's No Rust on This Ironclad Kernel