aboutsummaryrefslogtreecommitdiff
path: root/kernel/output
diff options
context:
space:
mode:
authorXander <xander@icth.xyz>2023-07-05 23:58:42 +0200
committerXander <xander@icth.xyz>2023-07-05 23:58:42 +0200
commitcd8a202caac232c7a5b05ad11eb5059d9ad3f002 (patch)
tree090ba9110b29320dfde7c3eff6ab97f9f548abd8 /kernel/output
parent5ef9221f4dfe78d69247989ef7edc8d3101a5014 (diff)
downloadats-os-cd8a202caac232c7a5b05ad11eb5059d9ad3f002.tar.xz
ats-os-cd8a202caac232c7a5b05ad11eb5059d9ad3f002.zip
Implementing interrupts (exceptions)
Diffstat (limited to 'kernel/output')
-rw-r--r--kernel/output/writer.sats3
1 files changed, 2 insertions, 1 deletions
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
-