Would something like Knit help with writing Hurd servers? It's designed to work with OSKit at a pretty low level, and looks fairly interesting: http://www.cs.utah.edu/flux/papers/knit-osdi00-base.html -Brent