Problem getting started

Hello guys,

I followed the getting started page :
http://l4ka.org/projects/pistachio/ia32/gettingstarted.php and I'm stuck while
trying it in qemu. I couldn't compile properly the pistachio-0.4 tarball, so I
used the mercurial repository. I enabled the trace configuration option, with
all trace options, and this is the error I get:

System has 16 interrupts
Initializing root servers
root-servers: utcb_area: bf000110 (128KB), kip_area: bff000c0 (4KB)
Creating sigma0 (SIGMA0)
Creating root server (ROOTTASK)
Idle thread started on CPU 0
f0120000: invalid opcode at IP f01139d9
--- "KD# invalid opcode" ---
--------------------------------- (eip=f010f7fc, esp=f011ad8c) ---
>

I'm compiling with gcc version 4.3.1 (Debian 4.3.1-9)
Do you have a hint or a suggestion to let me test l4 ?
(I'm trying user/apps/bench/pingpong)

Thank you!

--
Thomas Jeunet