Olá,
Apenas para fins de informação, talvez em breve será possível ter o
seu sistema favorito (Debian) rodando com um kernel FreeBSD.
Veja este link:
http://www.debian.org/ports/kfreebsd-gnu/
Abraços,
--
Mario O.de Menezes, Ph.D. "Many are the plans in a man's heart, but
LinuxUser: #24626 is the Lord's purpose that prevails" Pv 19.21
http://www.ipen.br/~mario