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
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
Genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main
