Re: Memory access in tz_vmm

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.

Cheers, Martin