So far, it works for recent kernels, even on x86, but better not rely on this.
Signed-off-by: Jan Kiszka <[email protected]> --- driver/pci.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/driver/pci.c b/driver/pci.c index c0957d3cf..8ba74bfdf 100644 --- a/driver/pci.c +++ b/driver/pci.c @@ -17,7 +17,9 @@ #include <linux/of_fdt.h> #include <linux/vmalloc.h> #include <linux/version.h> +#ifdef CONFIG_OF_OVERLAY #include <dt-bindings/interrupt-controller/arm-gic.h> +#endif #if LINUX_VERSION_CODE < KERNEL_VERSION(4,15,0) #define of_overlay_apply(overlay, id) (*id = of_overlay_create(overlay)) -- 2.13.6 -- 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.
