L4Android and L4Linux parallel on an i.MX53

[Matthias Lange]

Hi,

On 03/12/2012 02:03 PM, Tobias Fink wrote:
> Hi,
> 
> 2012/3/5 Adam Lackorzynski <adam at os.inf.tu-dresden.de>
> 
[...]
> Right now I'm stuck at too points:
> 
> 1. On the i.MX53 the boot process comes as far as "Starting kernel
> ..." and then stops. I built L4Re with the parameters I thought was
> the best fit for the i.MX53 with 0x70000000 as start address and 512
> as memory size. I'm using a uboot that came with the board and
> successfully starts Linux from the same board with the same
> parameters. Could there be a Serial Port mismatch of any kind so that
> L4 is starting but doesn't give any output to the Serial Interface?

I think the UART is not working correctly. "Starting kernel ..." is the
last message of the platform bootloader. The L4 bootstrapper is already
silent. You should check that you are using the right UART driver.

[...]
> At this point it stops and doesn't respond to any input. I found out
> that Busybox comes up with that message when it is started on the
> incorrect console device. If I put in anything but console=ttyLv0 in
> the L4Linux .cfg file it stops with Kernel panic. Can somebody give my
> a hint on where to look for a solution?

Have you started Fiasco with the "-serial_esc" option?

Matthias.

> Is there any written documentation on how to use and configure L4Linux
> and L4? All I found was this Mailinglist and the TUDOS-Wiki which
> helps as a starting point but could not help me with the problems I'm
> having right now.
> 
> Best regards Tobi
> 
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

-- 
Dipl.-Inf. Matthias Lange <mlange at sec.t-labs.tu-berlin.de>
Security in Telecommunications
TU Berlin / Telekom Innovation Laboratories
Ernst-Reuter-Platz 7, 10587 Berlin
Phone: +49 - 30 - 8353 58 553
Mobile: +49 - 160 - 587 28 07
Web: http://www.t-labs.tu-berlin.de/sect