Building L4linux

Maxime Lastera mlastera at
Wed Nov 3 16:36:05 CET 2010

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
  7 av Colonel Roche
  31077 Toulouse
  E-mail: mlastera at
  Phone : +33561336979

More information about the l4-hackers mailing list