vm_arm: provide GIC and timer to VM on zynqmp

Signed-off-by: Axel Heider <[email protected]>
seL4 · Jan 21, 2024 · 514e99c · 514e99c
1 parent 420bbf0
commit 514e99c
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 4 deletions.
diff --git a/components/VM_Arm/plat_include/ultra96v2/plat/vmlinux.h b/components/VM_Arm/plat_include/ultra96v2/plat/vmlinux.h
@@ -1,4 +1,5 @@
 /*
+ * Copyright 2023, Hensoldt Cyber
  * Copyright 2019, DornerWorks
  *
  * SPDX-License-Identifier: BSD-2-Clause
@@ -12,9 +13,13 @@ static const int linux_pt_irqs[] = {};
 
 static const int free_plat_interrupts[] =  { -1 };
 
-static const char *plat_keep_devices[] = {};
+static const char *plat_keep_devices[] = {
+    "/timer",
+};
 static const char *plat_keep_device_and_disable[] = {};
-static const char *plat_keep_device_and_subtree[] = {};
+static const char *plat_keep_device_and_subtree[] = {
+    GIC_NODE_PATH,
+};
 static const char *plat_keep_device_and_subtree_and_disable[] = {};
 static const char *plat_linux_bootcmdline = "";
 static const char *plat_linux_stdout = "";
diff --git a/components/VM_Arm/plat_include/zynqmp/plat/vmlinux.h b/components/VM_Arm/plat_include/zynqmp/plat/vmlinux.h
@@ -1,7 +1,12 @@
 /*
+ * Copyright 2023, Hensoldt Cyber
  * Copyright 2019, DornerWorks
  *
  * SPDX-License-Identifier: BSD-2-Clause
+ *
+ *
+ * The "zynqmp" platform target means the zcu102 board.
+ *
  */
 
 #pragma once
@@ -12,9 +17,13 @@ static const int linux_pt_irqs[] = {};
 
 static const int free_plat_interrupts[] =  { -1 };
 
-static const char *plat_keep_devices[] = {};
+static const char *plat_keep_devices[] = {
+    "/timer",
+};
 static const char *plat_keep_device_and_disable[] = {};
-static const char *plat_keep_device_and_subtree[] = {};
+static const char *plat_keep_device_and_subtree[] = {
+    GIC_NODE_PATH,
+};
 static const char *plat_keep_device_and_subtree_and_disable[] = {};
 static const char *plat_linux_bootcmdline = "";
 static const char *plat_linux_stdout = "";