Ahora Debian también incluye un kernel FreeBSD para arquitecturas i386 y amd64: http://www.debian.org/ports/kfreebsd-gnu/ El anuncio: http://lists.debian.org/debian-devel-announce/2009/04/msg00001.html Saludos! Federico Ch. Tomasczik