Enforcing Network Security in an Embedded Operating System via Rust’s Type System