Hi all,

I just found out current Genode pci driver does not support a system with multiple root complexes.

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.

Maybe a simple patch will fix the problem.

Best regards,

Jilong

--
Jilong Kuang Ph.D. C.Sci. | 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.