On Thu, 25 Sep 2008 12:00:02 +0200, l4-hackers-request@os.inf.tu-dresden.de wrote:
Hi,all: I get the source code from svn a few days ago,but I can't start l4linux in qemu with con.The error is like follow:
Welcome to Fiasco(ia32)! DD-L4(v2)/ia32 microkernel (C) 1998-2008 TU Dresden Rev: r394 compiled with gcc 3.4.6 for Intel Pentium [] Performance-critical config option(s) detected: CONFIG_NDEBUG is off
Try to disable "Assembler IPC Shortcut" option in Fiasco
WBR, valery