diff --git a/components/VM_Arm/CMakeLists.txt b/components/VM_Arm/CMakeLists.txt
index 7deb35c9..c81e4565 100644
--- a/components/VM_Arm/CMakeLists.txt
+++ b/components/VM_Arm/CMakeLists.txt
@@ -140,7 +140,9 @@ config_option(
 config_choice(
     VmZynqmpPetalinuxVersion
     ZYNQMP_PETALINUX_VERSION
-    "The version of Petalinux to use"
+    "The version of Petalinux to use. Default is 2018.3, which will use images \
+    compatible with the seL4 kernel device tree"
+    "2018_3;VmZynqmpPetalinux2018_3;ZYNQMP_PETALINUX_2018_3;KernelPlatformZynqmp"
     "2021_1;VmZynqmpPetalinux2021_1;ZYNQMP_PETALINUX_2021_1;KernelPlatformZynqmp"
 )
 
diff --git a/components/VM_Arm/plat_include/zynqmp/plat/vmlinux.h b/components/VM_Arm/plat_include/zynqmp/plat/vmlinux.h
index 0ea7db20..6a04850b 100644
--- a/components/VM_Arm/plat_include/zynqmp/plat/vmlinux.h
+++ b/components/VM_Arm/plat_include/zynqmp/plat/vmlinux.h
@@ -11,7 +11,11 @@
 
 #pragma once
 
+#ifdef CONFIG_ZYNQMP_PETALINUX_2018_3
 #define GIC_NODE_PATH "/amba_apu@0/interrupt-controller@f9010000"
+#else
+#define GIC_NODE_PATH "/axi/interrupt-controller@f9010000"
+#endif
 
 static const int linux_pt_irqs[] = {};