From e9b14562b46f230e7208ea3dad8d836f73e8f100 Mon Sep 17 00:00:00 2001
From: Xander <xander@icth.xyz>
Date: Fri, 30 Jun 2023 21:25:18 +0200
Subject: Modulating print

---
 kernel/writer.sats | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 kernel/writer.sats

(limited to 'kernel/writer.sats')

diff --git a/kernel/writer.sats b/kernel/writer.sats
new file mode 100644
index 0000000..c9b8814
--- /dev/null
+++ b/kernel/writer.sats
@@ -0,0 +1,27 @@
+#define N 80 * 25
+
+datatype color =
+  | Black 
+  | Blue 
+  | Green 
+  | Cyan 
+  | Red 
+  | Magenta 
+  | Brown 
+  | LightGray 
+  | DarkGray 
+  | LightBlue 
+  | LightGreen 
+  | LightCyan 
+  | LightRed 
+  | Pink 
+  | Yellow 
+  | White 
+
+
+typedef screenChar = @{ ascii_character = char, color_code = uint8}
+
+vtypedef tptr (a: t@ype, l:addr) = (a @ l | ptr l)
+vtypedef writer = [l: addr] [n:nat | n < N] @{ column_position = size_t n, color_code = uint8 , buffer = tptr(@[screenChar][N],l)}
+
+fun print_char(c : char) : void
-- 
cgit v1.2.3