Issues in l4re-snapshot-2012081219 for ARM

[Ivan Loskutov]

Hello,

I tried new  l4re-snapshot-2012081219 and found the following issues for
ARM target:

1. File bin/setup.d/04-setup has error in BeagleBoard and Pandaboard L4Re
configs generation. Patch attached.

2. I get errors at startup on Pandaboard
KERNEL-369098737: alignment error at da067a03 (PC: f001e0ec, SP: 6e72654b,
FSR: 400001, PSR: 600001d3)
KERNEL-369098737: alignment error at da067a03 (PC: f001e0ec, SP: ea00000f,
FSR: 400001, PSR: 600001d3)
KERNEL-369098737: alignment error at da067a03 (PC: f001e0ec, SP: ea00000f,
FSR: 400001, PSR: 600001d3)
KERNEL-369098737: alignment error at da067a03 (PC: f001e0ec, SP: ea00000f,
FSR: 400001, PSR: 600001d3)

I found that the error is caused by a init_errata_workarounds() call in Cpu
::init (src/kernel/fiasco/src/kern/arm/cpu-arm.cpp). If I comment this
call, then kernel started and hello example worked. Error is occurred when
called set_c15_c0_1() function. I have not solved this issue yet.

--
Ivan Loskutov
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120817/488e67da/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: setup.patch
Type: application/octet-stream
Size: 2052 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120817/488e67da/attachment.obj>