Fwd: Running L4Linux + Fiasco on Freescale i.MX 6 Sabre SD

Adam Lackorzynski adam at os.inf.tu-dresden.de
Fri Jul 3 00:06:10 CEST 2015


On Thu Jul 02, 2015 at 14:20:16 +0200, Mahdi Aichouch wrote:
> I added the earlyprintk=1 option to linux boot command and I enabled the
> The debug messages below show more information compared to logs from the
> previous tests.
> Could you please tell me what do you think might be the cause of the error.

> KERNEL0: alignment error at 02331eff (PC: 02248e78, SP: 02331c20, FSR:
> 90000841, PSR: 90)
> l4linux | Unable to handle kernelpaging request at virtua address 02331eff
> pgd = 02353000
> [02331eff] *pgd=0220042(bad)
> Internal error: Oops: 0000841 [#1] ARM
> Modules linked in:
> CPU: 0 PID: 0 Comm: swpper Not tainted 3.16.0-4 #3
> task: 0233ada0 ti: 0230000 task.ti: 02330000
> PC is at pcpu_dump_allc_info+0x30/0x214
> LR is at pcpu_setup_fist_chunk+0x53c/0x830
> pc : [<02248e78>]    l : [<0231c51c>]    psr: 0000093

Ui, this location is known to me. If you change "char empty_str[]" to
"char *empty_str" in pcpu_dump_alloc_info it will work. But this is just
a side note. Better disable the alignment checking in Fiasco's config,
as this is more of a debugging helper.

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

More information about the l4-hackers mailing list