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 [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
