I/O Memory Mapping failed

Christian Helmuth christian.helmuth at ...1...
Mon Jul 23 12:59:13 CEST 2012

Hello Markus,

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?

Christian Helmuth
Genode Labs

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 mailing list