Hi,
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 CONFIG_EARLY_PRINTK.
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