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, -- Alexander Boettcher Genode Labs https://www.genode-labs.com - https://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
