I/O Memory Mapping failed
christian.helmuth at ...1...
Mon Jul 23 12:59:13 CEST 2012
On Mon, Jul 23, 2012 at 12:47:37PM +0200, Markus Partheymueller wrote:
> the only thing verbose logging added was this line:
> [init -> acpi] Acpi_table::Acpi_table():RSDP 2a020
> Does this help?
Hm, not much info. I'd recommend to instrument the Acpi_table methods
with some PDBG()'s to find out what's going on with your machine:
uint8_t *_map_io(addr_t base, size_t size, Io_mem_session_capability &cap)
PDBG("_map_io: [%p, %p)", (void*)base, (void*)(base + size));
Io_mem_connection io_mem(base, size);
I'm not the original author of the ACPI driver and, therefore, does
not know it that well. Maybe, Sebastian could shed some light on this?
http://www.genode-labs.com/ · http://genode.org/ · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
More information about the users