Hi Scott!
The NIC
bus number is hard-coded at the moment. This needs fixing
if the NIC bus number can change.
The bus number of the NIC changed from 03:00.0 to 04:00.0 when I plugged a PCIe card into the board. Tried that maybe two weeks ago.

Regards
Felix

--
coreboot mailing list: coreboot@coreboot.org
http://www.coreboot.org/mailman/listinfo/coreboot

Reply via email to