hw_rpi acccess to MMIO

[Christian Helmuth]

Hey Adrian,

On Tue, Jun 23, 2015 at 12:15:16PM +0200, Adrian-Ken Rueegsegger wrote:
> 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].
> 
> [1] -
> https://github.com/trimpim/genode/blob/issue1549/repos/base-hw/src/core/spec/rpi/platform_support.cc#L36

This is not needed if he uses addresses in the MMIO region from line
35. Now, I'm sure this is the proper way to go.

Regards
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth