23 Jun
2015
23 Jun
'15
10:52 a.m.
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...
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