A pair of Rust kernel modules