[coreboot] how to change PCI device's PFA
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