Issues in l4re-snapshot-2012081219 for ARM

[Adam Lackorzynski]

Hi,

On Fri Aug 17, 2012 at 18:30:22 +0400, Ivan Loskutov wrote:
> 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.

Thanks, I'll fix that.

> 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.

Just leaving that out is a good choice after a first look.
I'll come up with some fix.



Thanks,
Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/