Hi You can upgrade your FreeBSD kernel/sources (a good idea to the lastest version; they usually have the newest edition of ipf
for more information about that go to http://freebsd.org/handbook check the sections: using cvsup compiling the kernel and making the world Jorge
