I/O Memory Mapping failed

[Christian Helmuth]

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?

Regards
-- 
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