Fiasco-oc l4linux

David Leimbach leimy2k at
Fri Feb 18 15:56:43 CET 2011

Hi Adam,

Sent from my iPhone

On Feb 18, 2011, at 2:43 AM, Adam Lackorzynski <adam at> wrote:

> Hi,
> On Thu Feb 17, 2011 at 15:56:25 -0800, David Leimbach wrote:
>> Using the latest snapshot, and kind of lost on how to get l4linux to actually build.  I did get python running with mag in vmware however, so I've got a little experience.
>> Just not sure what the right way to do this is.  My obj/l4linux directory is empty.
>> Any thoughts what I should try?
>> I used "make setup". Then "make" which died for some reason.  So i went  into obj/l4.../pkg and did "make all".  The top level make now completes.
> Please call 'make' in obj/l4 and not only in 'pkg', as this does not
> build everything, esp. additional things needed for L4Linux.

I will try that first thing today.

> 'make setup' should actually but subdirs in obj/l4linux and .config's in
> those. Did you choose 64bit only?

I did several architecture configs.  I realize L4linux isn't  64bit at this time.

> Adam
> -- 
> Adam                 adam at
>  Lackorzynski
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at

More information about the l4-hackers mailing list