Rustwall Network firewall for seL4, written in Rust. The firewall itself is meant to replace this Camkes firewall component. Rustwall uses (currenlt a modified version of) smoltcp as its network stack.