hw_rpi acccess to MMIO

[Adrian-Ken Rueegsegger]

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/rpi/platform_support.cc#L36