aboutsummaryrefslogtreecommitdiff
path: root/kernel/main.dats
blob: bf20c3763143737a92b83dd29ff70c6ce20bfce2 (plain)
1
2
3
4
5
6
#include "share/atspre_staload.hats"

staload "kernel/writer.sats"
dynload "kernel/writer.dats"

implement main0 () = put_string("         Hello world")