From bd3151ea8f09d8ee3dfd6ab9d2cef3b5c957c210 Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Wed, 3 Jul 2024 13:53:45 +1000
Subject: [PATCH] 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 <i.velickovic@unsw.edu.au>
---
 build_sdk.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build_sdk.py b/build_sdk.py
index 57490692..b3d19d55 100644
--- 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"),