This board has no other PCI controllers, so we can just use the default domain 0.
Signed-off-by: Jan Kiszka <[email protected]> --- configs/arm64/hikey.c | 1 - 1 file changed, 1 deletion(-) diff --git a/configs/arm64/hikey.c b/configs/arm64/hikey.c index 09c0cd72..bcfbe188 100644 --- a/configs/arm64/hikey.c +++ b/configs/arm64/hikey.c @@ -43,7 +43,6 @@ struct { .pci_mmconfig_base = 0xf6000000, .pci_mmconfig_end_bus = 0, .pci_is_virtual = 1, - .pci_domain = -1, .arm = { .gic_version = 2, .gicd_base = 0xf6801000, -- 2.16.4 -- You received this message because you are subscribed to the Google Groups "Jailhouse" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
