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 ------------------------------------------------------------------------------ Monitor 25 network devices or servers for free with OpManager! OpManager is web-based network management software that monitors network devices and physical & virtual servers, alerts via email & sms for fault. Monitor 25 devices for free with no restriction. Download now http://ad.doubleclick.net/ddm/clk/292181274;119417398;o _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
