platsupport, zynqmp: select bus off configuration

The kernel can support using a newer petalinux version, which updates the main bus to "axi" instead of "amba". The kernel presents a config variable, which we check against to define the proper TTC paths. Signed-off-by: Chris Guikema <[email protected]>
seL4 · Sep 13, 2023 · 3c4a43f · 3c4a43f
1 parent dba244d
commit 3c4a43f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/libplatsupport/mach_include/zynq/platsupport/mach/timer.h b/libplatsupport/mach_include/zynq/platsupport/mach/timer.h
@@ -23,10 +23,17 @@
 #define IRQS_PER_TTC 3
 
 #ifdef CONFIG_PLAT_ZYNQMP
+#ifdef CONFIG_ZYNQMP_PETALINUX_AXI
+#define TTC0_PATH "/axi/timer@ff110000"
+#define TTC1_PATH "/axi/timer@ff120000"
+#define TTC2_PATH "/axi/timer@ff130000"
+#define TTC3_PATH "/axi/timer@ff140000"
+#else
 #define TTC0_PATH "/amba/timer@ff110000"
 #define TTC1_PATH "/amba/timer@ff120000"
 #define TTC2_PATH "/amba/timer@ff130000"
 #define TTC3_PATH "/amba/timer@ff140000"
+#endif  /* CONFIG_ZYNQMP_PETALINUX_AXI */
 #else
 /* zynq7000 */
 #define TTC0_PATH "/amba/timer@f8001000"