When I set the L4 source directory to L4re build directory it's works, but some required L4 modules are required stdlibs log l4re_c-util libio shmc rtc. I have found this modules in the l4re-snapshot/src/l4/pkg but there are not found by the program. I need to copy the modules in an other directory ? -- ------------------------------------------------ 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 ------------------------------------------------