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 -- Adam a...@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers