Export ARM timer for QEMU virt AArch64

The QEMU virt platform does not have a timer and so the only way to get a timer driver working is to use the architectural timer. Exporting the architectural timer to user-space can be problematic as it means any user-space program can access it, including ones you may not trust. However, as this platform is only intended for development purposes, this is not an issue. Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Jul 9, 2024 · bd3151e · bd3151e
1 parent b5eef17
commit bd3151e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/build_sdk.py b/build_sdk.py
@@ -164,6 +164,8 @@ class ConfigInfo:
             "KernelArmExportPCNTUser": True,
             "QEMU_MEMORY": "2048",
             "KernelArmHypervisorSupport": True,
+            "KernelArmExportPCNTUser": True,
+            "KernelArmExportPTMRUser": True,
         },
         examples={
             "hello": Path("example/qemu_virt_aarch64/hello"),