Memory access in tz_vmm

Martin Stein martin.stein at ...1...
Tue May 5 10:13:17 CEST 2015

Hi Chirag,

On 05.05.2015 07:38, chirag garg wrote:
> It gives me the following fault. 
> I/O memory [40000000,50000000) not available
> Local MMIO mapping failed!
> [init -> tz_vmm] C++ runtime: Genode::Parent::Service_denied

You can take this fault as a starting point by searching (e.g. via grep)
for "I/O memory .* not available" in the repositories base and base-hw.
Presumably, this will lead you to the code path that is responsible for
allocating MMIO regions. From there, you might be able to trace back
were your region gets "lost" and to whom.


More information about the users mailing list