Rust in enterprise kernels