Простейший фаевол с натом тут: IPFW + NATD. Еще одна версия - тут: IPFW

Вот тут расширенный ман. Далее - к нему простая пояснялка с HOW TO, но, тем не менее, понятно.

А вот тут - IPFW NAT, то есть описание, как работает NAT + IPFW прямо в ядре (теория к фаерволу из последующего пункта)

Собтвенно, сам сложный фаервольчик с пайпами, ядреным натом, очередями типа шейпера и другими ништяками: http://nixman.info/?p=655