Re: USB in Genode 18.08

On 20.09.2018 20:00, Alexander Boettcher 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

I'm wrong, seL4 provides the info. On github issue #2993 commits regarding that will show up.

Cheers,