RE: Pci driver can not handle multiple root complex system

-- Jilong Kuang Ph.D. | Samsung Research America - Silicon Valley (SRA-SV) Senior Research Engineer, Computer Science Lab t: 408-544-2705   c: 951-318-2995 jilong.kuang@...60... Please consider the environment before printing this email. This message is intended only for the named recipient(s) above and may contain confidential or privileged information or protected attorney work product.  If you are not the intended recipient, any review, dissemination, distribution or copying is strictly prohibited.  If you have received this message in error, please immediately notify the sender and delete this message and its attachments from your computer and dispose of all other copies or printouts.  Thank you. -----Original Message----- From: Udo Steinberg [mailto:udo@...121...] Sent: Sunday, July 28, 2013 9:47 AM To: Genode OS Framework Mailing List Cc: Jilong Kuang - SISA Subject: Re: Pci driver can not handle multiple root complex system On Fri, 07 Jun 2013 23:13:18 +0000 Jilong Kuang - SISA (JKS) wrote: JKS> I just found out current Genode pci driver does not support a system with multiple root complexes. JKS> JKS> More specifically, in the bus_valid() function, it only scans all the devices under the first root complex (starting from bus number 0). As a result, other devices under different root complexes are considered INVALID, thus will be skipped by pci driver code. Can you provide us with the DSDT from such a machine with multiple root complexes? Under Linux, you can do: cat /sys/firmware/acpi/tables/DSDT > dsdt.dump and then send us that file. Cheers, Udo