From cd8a202caac232c7a5b05ad11eb5059d9ad3f002 Mon Sep 17 00:00:00 2001
From: Xander <xander@icth.xyz>
Date: Wed, 5 Jul 2023 23:58:42 +0200
Subject: Implementing interrupts (exceptions)

---
 kernel/output/writer.sats | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'kernel/output/writer.sats')

diff --git a/kernel/output/writer.sats b/kernel/output/writer.sats
index 8f25313..65a2ea9 100644
--- a/kernel/output/writer.sats
+++ b/kernel/output/writer.sats
@@ -26,6 +26,7 @@ typedef screenChar = @{ ascii_character = char, color_code = uint8}
 vtypedef buffer = [l : agz] (@[screenChar][N] @ l | ptr l)
 typedef writer  = @{position = [a:int | a >= 0 && a < N] int (a), color_code = uint8}
 
+castfn i2u8 {n: nat} (i: int n): uint8 n
+
 fun put_string (str : string) : void
 fun clear_screen() : void
-
-- 
cgit v1.2.3