From 201f5433e1978108c550d902a9aad8825be4720b Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Wed, 9 Jun 2021 23:08:06 +0200
Subject: [PATCH] Port timer driver from older syndicate/rkt implementation

---
 timer.prs | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 timer.prs

diff --git a/timer.prs b/timer.prs
new file mode 100644
index 0000000..30ea166
--- /dev/null
+++ b/timer.prs
@@ -0,0 +1,7 @@
+version 1 .
+
+SetTimer = <set-timer @label any @msecs double @kind TimerKind>.
+TimerExpired = <timer-expired @label any @msecs double>.
+TimerKind = =relative / =absolute / =clear .
+
+LaterThan = <later-than @msecs double>.