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 ?