Is anyone working/thinking on running GNU/Hurd and Device-Drivers on L4/Fiasco (http://os.inf.tu-dresden.de/fiasco/) ? Johannes