Hello Michael, please post a complete log for: * Fiasco kernel debugger messages * L4Linux boot messages BTW: Switching "Network device support" on seems reasonable... Cheers -- Christian Helmuth TU Dresden, Dept. of CS Operating Systems Group http://os.inf.tu-dresden.de/~ch12