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