Hi,
On 20.09.2018 07:48, Stefan Kalkowski wrote:
Anyway, here lied the actual problem. I cannot say why core resp. the sel4 kernel complains to map that memory pages here. Unfortunately, I'm on the way, and cannot test sel4 on Wandboard right now. Maybe Alexander Böttcher has some idea what possibly goes wrong, when core complains that it cannot map?
According to some debugging, the memory is actually mapped, but the usb driver causes an alignment fault. (dfsr register with value 0x1).
Unfortunately the seL4 kernel does not propagate this information to Genode's core. I will change the output in core, so that one can at least guess that it could be a unaligned access/address - nevertheless, this does not explain why we get this fault on Genode/seL4 and _not_ on Genode/hw ... any idea Stefan ?