23 Jun
2015
23 Jun
'15
12:15 p.m.
Hi,
On 06/23/2015 10:29 AM, Duss Pirmin wrote: [...]
/* I/O mux registers */ IOMUXC_BASE = 0x7e200000, IOMUXC_SIZE = 0x00610000,
I believe you need to add a corresponding entry to the list of available platform MMIO regions, see [1].
Regards, Adrian
[1] - https://github.com/trimpim/genode/blob/issue1549/repos/base-hw/src/core/spec...