Building L4linux

Maxime Lastera mlastera at
Fri Nov 5 16:52:34 CET 2010


I have built succefully L4linux. I have used the snapshot version.
So now I want to run it, but I don't have tftboot directory in l4linux tree.
I can't follow the example because I don't have many modules like names 

a vmlinuz file is in l4linux tree.

what are the steps to boot on L4linux from harddrive ?

  Maxime LASTERA
  Phd Student
  Dependable Computing and Fault Tolerance group
  7 av Colonel Roche
  31077 Toulouse
  E-mail: mlastera at
  Phone : +33561336979

More information about the l4-hackers mailing list