1 files changed, 17 insertions, 0 deletions
diff --git a/debug/programs/run_halt_timing.c b/debug/programs/run_halt_timing.c
new file mode 100644
index 0000000..1c9a8ba
--- /dev/null
+++ b/debug/programs/run_halt_timing.c
@@ -0,0 +1,17 @@
+#include <stdio.h>
+#include <string.h>
+#include <stdint.h>
+#include <stdlib.h>
+
+#include "init.h"
+
+int main()
+{
+    int counter = 0;
+    volatile uint64_t mtime_value;
+
+    while (1) {
+        counter = counter + 1;
+        mtime_value = MTIME;
+    }
+}