Can't boot L4Linux2.4 on Pistachio

[lvmengxuan]

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 !