diff options
| author | Xander <xander@biltopia.org> | 2023-07-21 18:02:54 +0200 |
|---|---|---|
| committer | Xander <xander@biltopia.org> | 2023-07-21 18:02:54 +0200 |
| commit | 9226c8bb581c363a552998663704c483f35f6aae (patch) | |
| tree | 857a7c8119b5df93d3340f8acd317b06fd254d84 /kernel/main.dats | |
| parent | 589e17e4faf369857fd916cbe699bc72c193b9a3 (diff) | |
| download | ats-os-9226c8bb581c363a552998663704c483f35f6aae.tar.xz ats-os-9226c8bb581c363a552998663704c483f35f6aae.zip | |
Working on frame allocation
Diffstat (limited to 'kernel/main.dats')
| -rw-r--r-- | kernel/main.dats | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/main.dats b/kernel/main.dats index 2a89603..94955ee 100644 --- a/kernel/main.dats +++ b/kernel/main.dats @@ -14,6 +14,7 @@ staload UN = "prelude/SATS/unsafe.sats" } %} + extern castfn char_arr2string {n:nat} (arr : &(@[char][n])) : string n extern fun breakpoint() :void = "mac#" |