Hi Christian,
the only thing verbose logging added was this line:
[init -> acpi] Acpi_table::Acpi_table():RSDP 2a020
Does this help?
Greets
Markus
On 23 July 2012 11:18, Christian Helmuth <christian.helmuth@...1...> wrote:
Hello Markus,
On Mon, Jul 23, 2012 at 10:54:22AM +0200, Markus Partheymueller wrote:
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?
That looks strange. For clarification: It's the acpi_drv requesting that memory region (the PCI driver uses port I/O only).
It would be a good start to enable verbose logging in the driver (os/src/drivers/acpi/acpi.cc:27) and examine the methods Acpi_table::_search_rsdp() and Acpi_table::_rsdp(). One of those ACPI table mappings fails.
Greets
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 Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main