Re: L4linux build problem

2015-01-21 Thread Matthias Lange
Hi, On 01/21/2015 06:42 AM, Gayathri Nagarajan wrote: > > I am trying to build l4linux. > Version of l4linux - 3.16.0 > I am using fiasco.oc and l4re > > I configured using the command : sudo make O=build/kernel menuconfig > and changed the path to l4re build directory in l4linux configuration

L4linux build problem

2015-01-20 Thread Gayathri Nagarajan
I am trying to build l4linux. Version of l4linux - 3.16.0 I am using fiasco.oc and l4re I configured using the command : sudo make O=build/kernel menuconfig and changed the path to l4re build directory in l4linux configuration. The following errors come when I build it. user@user-VirtualBox:~/s