Can't boot L4Linux2.4 on Pistachio

Hi, I fetched L4KA::Pistachio and l4linux2.4) from CVS, compiled both on a Debian/unstable system and set up things according to the instructions at <http://l4ka.org/projects/l4linux/>. It seems to me that the Pistachio stuff runs fine -- I was able to run the pingpong program. However, when I try to run the Linux kernel, all I get is... init_emulibpager initialized to c0001 --- "unable to map generic bootinfo" --- Anyone can help me ? Thanks a lot !