Moss: a Rust Linux-compatible kernel in 26,000 lines of code