hw_rpi acccess to MMIO

[Christian Helmuth]

Hello,

On Tue, Jun 23, 2015 at 08:29:37AM +0000, Duss Pirmin wrote:
> /* I/O mux registers */
> IOMUXC_BASE = 0x7e200000,
> IOMUXC_SIZE = 0x00610000,

reading your MMIO-range definitions I was reminded of a section in the
BCM2835 manual:

  Physical addresses range from 0x20000000 to 0x20FFFFFF for
  peripherals. The bus addresses for peripherals are set up to map
  onto the peripheral bus address range starting at 0x7E000000. Thus a
  peripheral advertised here at bus address 0x7Ennnnnn is available at
  physical address 0x20nnnnnn.

Maybe you have to transpose the MMIO range first?

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