Network firewall virtualization certainly
could be built on top of a new microkernel in Rust, such as this one, and it may gain some benefits in correctness — but looking at its site, the datacenter networking space doesn't really seem to be part of Redox's core ambitions.
Perhaps you're thinking of NAFTA?