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 ------------------------------------------------------------------------------ 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
