I/O Memory Mapping failed

[Markus Partheymueller]

Hi,

I tried to boot a basic setup to test the USB driver with acpi on top
of NOVA. But now at boot time, I get the following error:

int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 3002 MB to init
int main(): --- init created, waiting for exit condition ---
start new pager object with EIP=0x1024ec4, ESP=0x6001000
start new pager object with EIP=0x1027444, ESP=0x6001000
start new pager object with EIP=0x101f0a4, ESP=0x6001000
start new pager object with EIP=0x1066044, ESP=0x6001000
start new pager object with EIP=0x1039584, ESP=0x6001000
[init -> vesa_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t,
Genode::size_t, bool, v0
start new pager object with EIP=0x102a704, ESP=0x6001000
start new pager object with EIP=0x1038ee4, ESP=0x6001000
start new pager object with EIP=0x1022714, ESP=0x6001000
[init -> launchpad] Could not open file "config"
[init -> launchpad] Could not obtain config file
[init -> acpi -> pci_drv] PCI driver started
I/O memory [bf7fe000,bf800000) not available
Local MMIO mapping failed!
[init -> acpi] C++ runtime: Genode::Parent::Service_denied
[init -> acpi] void* abort(): abort called

The memory map looks as follows:

Hypervisor info page contains 35 memory descriptors:
Memory descriptor 1: 0 - 8f000
Memory descriptor 2: 8f000 - 90000
Memory descriptor 3: 90000 - 9d000
Memory descriptor 4: 9d000 - a0000
Memory descriptor 5: e0000 - 100000
Memory descriptor 6: 100000 - bf4bd000
Memory descriptor 7: bf4bd000 - bf4bf000
Memory descriptor 8: bf4bf000 - bf5c7000
Memory descriptor 9: bf5c7000 - bf7bf000
Memory descriptor 10: bf7bf000 - bf7df000
Memory descriptor 11: bf7df000 - bf7ff000
Memory descriptor 12: bf7ff000 - bf800000
Memory descriptor 13: bf800000 - c0000000
Memory descriptor 14: f8000000 - fc000000
Memory descriptor 15: fc000000 - fd000000
Memory descriptor 16: ffe00000 - 100000000
Memory descriptor 17: 4000000 - 43a0b95
Memory descriptor 18: 43a1000 - 4580547
Memory descriptor 19: 4581000 - 474c944
Memory descriptor 20: 474d000 - 4a55ab5
Memory descriptor 21: 4a56000 - 4a5cd2d
Memory descriptor 22: 4a5d000 - 4a5d5ac
Memory descriptor 23: 4a5e000 - 4bd06b6
Memory descriptor 24: 4bd1000 - 4de03d2
Memory descriptor 25: 4de1000 - 4f6bd5f
Memory descriptor 26: 4f6c000 - 541c9e5
Memory descriptor 27: 541d000 - 55ae046
Memory descriptor 28: 55af000 - 57bfa8c
Memory descriptor 29: 57c0000 - 5b575aa
Memory descriptor 30: 5b58000 - 5d324e1
Memory descriptor 31: 5d33000 - 5f8763c
Memory descriptor 32: 5f88000 - 6125c86
Memory descriptor 33: 6126000 - 627e07d
Memory descriptor 34: 627f000 - 6742b89
Memory descriptor 35: 400000 - 1800000

What seems odd is that the range requested by the PCI driver (at least
that would be my guess) lies partly in descriptor 11 (which is marked
as not available in the HIP) and partly in descriptor 12 (which is
available physical memory).

Any ideas what could be the problem here?

Cheers

Markus