what distro did you used?

Adam Lackorzynski adam at os.inf.tu-dresden.de
Sun Oct 31 20:58:43 CET 2004

On Sun Oct 31, 2004 at 17:00:31 +0000, Tiago Jorge wrote:
> Just by plain curiosity and because i'm have many troubles booting 
> Fedora Core 1 with L4Linux, what is the distro that you use to boot with 
> the L4Linux kernel.

Mostly Debian. But different distributions are not supposed to make any
unexplainable difference. First make sure that it works with the
RAMdisk, do not go further until this works. Additionally L4Linux is not
perfect and tested in all possible environments. If unusual things
happen it probably worth reporting this here, so at least it can be

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list