Rust for Linux – Encoding the trust of data in the type system