The QNX company (www.qnx.com) sells a couple of micro-kernel os, with real time capability, which look interesting. While these are commercial products, perhaps there is information and ideas helpful to the HURD project in the literature on these systems. Hugh MILLER