<Dezgeg>
but who knows, it might not be too difficult
<Dezgeg>
that doesn't sound related
<flokli>
Maybe U-Boot needs a similar fix.
<Dezgeg>
it's a matter of writing the code to detect when the PCI controller is using 64-bit BARs and acting accordingly
<flokli>
Okay, that sounds sensible. But I'm really not deep into low-level pci foo ;-)
<Dezgeg>
huh, there is CONFIG_SYS_PCI_64BIT in U-Boot, maybe that's all what's needed?
<flokli>
let me check…
<flokli>
nah
<flokli>
set #define CONFIG_SYS_PCI_64BIT 1 in include/configs/qemu-arm.h. booting with new u-boot and highmem=on complains about "pci_hose_bus_to_phys: invalid physical address"