Re: l4linux

Taeung <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]>
Hello, Tim

I'm glad. Tim

Your help save me !!!

Thank you very much !!!! :-)

I've succeed booting "L4 Linux + L4/Fiasco" on my board(Freescale i.MX6 
Quad SABRE SD).

After I readjustmy thread for booting, I will write document for booting 
it on my board.
The document might help L4/Fiasco beginner or not, I'll share the 
document for their.

Thank you again !!

- Taeung -


On 03/24/2014 07:33 PM, Tim Komarov wrote:
> Hello, TaeWoong!
> I've returned after the weekend. So, my congratulations!  I guess that yo don't need my environment anymore :-)
>
> I suppose that your configuration of L4Linux is wrong.
>
> Try to build L4Linux like that (arm_defconfig, not your manual configuration):
>
> $mkdir builddir
>
> $ make O=pathtobuilddir L4ARCH=arm CROSS_COMPILER=arm-linux- arm_defconfig
>
> Change path to l4re-tree:
> $ make O=pathtobuilddir L4ARCH=arm CROSS_COMPILER=arm-linux- menuconfig
>
> Build:
> $ make O=pathtobuilddir L4ARCH=arm CROSS_COMPILER=arm-linux- -j5
>
> It may help you!
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.