Porting Hurd to l4

Hi, Is the l4 server interface descripted somewhere (as in, I need a little more help getting started than just RTFsource :) )? I'm beginning to think the effort involved in porting the HURD servers to Mach may be worthwhile in the long run. ObHurd - what do any Hurd people here think? Matthew