NFL is the national football league. They play a game called football even though they seem to be carrying the ball with their hands, most of the time. Seems important in the US…
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.
NAFTA was the North American Free Trade Agreement.
This was an agreement signed by Canada, Mexico, and the United States that created a trilateral trade bloc in North America. Even if you could make use of it, it ended in 2020.
Perhaps you're thinking of NAFTA?