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@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/