Building L4linux

Hi, I have compiled fiasco and L4re with success. The Hello World exemple is running using qemu. Now I want to try L4linux on top of fiasco. When I try to comiple L4linux the following error occur: "cannot determine L4 source directory" The L4 source directory is the directory where I have built L4re or is a reference to an other directory ? -- ------------------------------------------------ Maxime LASTERA Phd Student