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 !