On Oct 24, 2018, at 4:55 PM, Jared McNeill <jmcneill%invisible.ca@localhost> wrote:- PCIe support via ACPI MCFG tables. On x86, we don't attach pci to acpi, so the strategy here was a bit different (and I had to fix a few existing assumptions along the way).