Looks like Debian is now also porting itself to the BSD Kernels apart from the Linux Kernel. http://www.nl.debian.org/ports/kfreebsd-gnu/ http://www.nl.debian.org/ports/netbsd/ Regards, Vivek Varghese Cherian