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:
> 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 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
More information about the l4-hackers