[PATCH v6 00/10] Add support for RaspberryPi RP1 PCI device using a DT overlay

[Andrew Lunn]

> etc. The same problem would exist for U-boot. Even though RP1 has a
> standard XHCI controller

Although it is a standard XHCI controller, i assume it is not a PCIe
XHCI controller which can just be enumerated as a PCIe device?

	Andrew