Debian with alternative kernels

I was noticing that kfreebsd-amd64 and kfreebsd-i386 are now architectures in the Debian unstable repositories. I’ve always been interested in running a GNU operating system with an alternative kernel. Of course, so far nothing has been stable enough to warrant leaving Linux. And besides, Linux does have the best mascot of all the kernels. The Linux kernel is also largely responsible for the rapid growth of the free software movement. Still, the idea is appealing and here’s where things stand with other kernels.

• Debian GNU/kFreeBSD - http://wiki.debian.org/Debian_GNU/kFreeBSD_why
  • This seems to be the best supported alternative kernel at the moment as its packages are actually listed in the Debian package pages. This is actually 2 architectures: amd64 and i386. Of course FreeBSD 7 has ZFS support.
• Debian GNU/NetBSD - http://www.debian.org/ports/netbsd/why
  • This doesn’t seem to be actively maintained which is a shame. There appear to be ports for i386 and alpha.
• Nexenta (GNU/OpenSolaris)
  • I know originally the folks working on Nexenta wanted it to become a Debian port but that may have fallen by the wayside. Nexenta has appeal to me because it is the only GNU operating system with support for Xen, ZFS, and both i386 and amd64 processors.
• GNU/Hurd
  • Hurd is the perpetually unfinished GNU kernel. If it ever approaches readiness I’d be willing to try it. It seems as though it only supports i386.