Building L4linux

Hi, 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 l4io 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 LAAS-CNRS 7 av Colonel Roche 31077 Toulouse E-mail: mlastera@laas.fr Phone : +33561336979 ------------------------------------------------