Quoting Ehud Kaldor (ehud.kaldor at gmail.com): > Really? I had no idea Debian can run with other kernels. Which ones? kfreebsd-gnu - http://www.debian.org/ports/kfreebsd-gnu/ hurd-i386 - http://www.debian.org/ports/hurd/ netbsd-i386 and netbsd-alpha - http://www.debian.org/ports/netbsd/