I think Debian already works with HURD using Mach 4 as long as the core libraries include extra header information(1). I believe this process is called "porting"(2) in Debian lingo but involves the whole distribution, i.e. just core libraries but driver frameworks as well. When I think of porting, I think of rewriting in another language. This is a patching job to me, massive as it may be, but whatever.<p>My information only comes from my research made the better part of a decade ago(3) when they were seriously looking to port the microkernel to L4 from Mach 4(4), but sadly it appears that work was abandoned around 2006 [Dunno, why? It might be started again]. I suspect the low level switch had a lot to do with interest in a better kernel in OS X than what Darwin(5), XNU(6) on the Mac, could provide(7). In the Panther, pre-Leopard days there was a lot of interest in this(8) kind of project: large-scale microkernels(9).<p>I don't know if this effort will include the port from L4(10) with the Mach abstraction API to "save" the prior work in getting Mach to work with standard Debian without the extra header requirements.<p>Anyway, I'm going to get some coffee and lunch. If anyone wants to fund an idea like this, I would like to any of the number of amazing things that they are doing with non-tricyclic antidepressants these days. Just look at the good it did for Tony Soprano.<p>(1) <a href="http://www.debian.org/ports/hurd/hurd-install" rel="nofollow">http://www.debian.org/ports/hurd/hurd-install</a><p>(2) <a href="http://www.gnu.org/software/hurd/hurd/porting/guidelines.html" rel="nofollow">http://www.gnu.org/software/hurd/hurd/porting/guidelines.htm...</a><p>(3) <a href="http://www.shakthimaan.com/installs/debian-t41.html" rel="nofollow">http://www.shakthimaan.com/installs/debian-t41.html</a> [Not me]<p>(4) <a href="http://www.gnu.org/software/hurd/microkernel/mach.html" rel="nofollow">http://www.gnu.org/software/hurd/microkernel/mach.html</a><p>(5) <a href="http://darwinbuild.macosforge.org/" rel="nofollow">http://darwinbuild.macosforge.org/</a><p>(6) <a href="http://developer.apple.com/library/mac/#documentation/Darwin/Conceptual/KernelProgramming/About/About.html" rel="nofollow">http://developer.apple.com/library/mac/#documentation/Darwin...</a><p>(7) I don't have any insider information. I'm just a developer.<p>(8) Mac OSX Panther for Unix Geeks, Brian Jepson, ISBN-13: 978-0596006075, Chapter 7<p>(9) <a href="http://www.ertos.nicta.com.au/software/darbat/" rel="nofollow">http://www.ertos.nicta.com.au/software/darbat/</a><p>(10) <a href="http://kilobug.free.fr/hurd/pres-en/abstract/html/abstract.html" rel="nofollow">http://kilobug.free.fr/hurd/pres-en/abstract/html/abstract.h...</a>