-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Hi Daniel,
I wonder if it is possible to start L4Linux (possibly with some modifications) whether from GRUB directly or from a different loader than l4-loader. Is there a particular reason why L4Linux is linked against libloader.s.so? If it would not work out of the box: What has to be neccessarily provided by that (new) loader in oder to achieve that goal?
Alexander Warg posted a patch for building L4Linux without a shared libloader.so to the EMSCB mailing list in May 2006. Have you already tried this out?
Bjoern