Memory access in tz_vmm

[Martin Stein]

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