Fiasco-oc l4linux

David Leimbach leimy2k at gmail.com
Fri Feb 18 18:23:22 CET 2011



Sent from my iPhone

On Feb 18, 2011, at 2:43 AM, Adam Lackorzynski <adam at os.inf.tu-dresden.de> 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.
> 
> 'make setup' should actually but subdirs in obj/l4linux and .config's in
> those. Did you choose 64bit only?

Ok I have the 32bit L4Linux running now in vmware.  Thanks!

> 
> 
> Adam
> -- 
> Adam                 adam at os.inf.tu-dresden.de
>  Lackorzynski         http://os.inf.tu-dresden.de/~adam/
> 
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers




More information about the l4-hackers mailing list