L4Linux without L4Loader

[Bjoern Doebel]

-----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
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGMKblP5ijxgQLUNkRAsDpAJ9QN+UAGJwBUpZUoKwckT8M23K1KgCfVwTX
k9e1ABTyr/dwqkP7xMa29Ws=
=Gke7
-----END PGP SIGNATURE-----