aboutsummaryrefslogtreecommitdiff
path: root/kernel/main.dats
diff options
context:
space:
mode:
Diffstat (limited to 'kernel/main.dats')
-rw-r--r--kernel/main.dats12
1 files changed, 4 insertions, 8 deletions
diff --git a/kernel/main.dats b/kernel/main.dats
index bbd201a..0a325ff 100644
--- a/kernel/main.dats
+++ b/kernel/main.dats
@@ -1,10 +1,6 @@
-#include "share/atspre_staload.hats"
-
-staload "kernel/writer.sats"
-dynload "kernel/writer.dats"
+#include "kernel/kernel_prelude.hats"
implement main0 () = (
- clear_screen();
- put_string("Hello world\n");
- put_string("GOEIENDSG\n");
- put_string("GOEIENDSG"))
+ println!("Hello World");
+ println!("Hello World");
+)