[coreboot] how to change PCI device's PFA

Hilbert Tu(杜睿哲_Pegatron) Hilbert_Tu at pegatroncorp.com
Fri Aug 31 08:43:32 CEST 2018


In my devicetree.cb of Intel Harcuvar CRB, I see the following PCI configuration:
device pci 14.0 on end # SATA Controller 1
device pci 15.0 on end # XHCI USB Controller

Can I change the device number for each different PCI device? For example,
device pci 16.0 on end # SATA Controller 1
device pci 17.0 on end # XHCI USB Controller

Is this PCI enumeration same in Coreboot and kernel? Or can I change it dynamically?

This e-mail and its attachment may contain information that is confidential or privileged, and are solely for the use of the individual to whom this e-mail is addressed. If you are not the intended recipient or have received it accidentally, please immediately notify the sender by reply e-mail and destroy all copies of this email and its attachment. Please be advised that any unauthorized use, disclosure, distribution or copying of this email or its attachment is strictly prohibited.

More information about the coreboot mailing list