Memory access in tz_vmm
martin.stein at ...1...
Tue May 5 10:13:17 CEST 2015
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