diff options
author | Xander <xander@icth.xyz> | 2023-07-05 23:58:42 +0200 |
---|---|---|
committer | Xander <xander@icth.xyz> | 2023-07-05 23:58:42 +0200 |
commit | cd8a202caac232c7a5b05ad11eb5059d9ad3f002 (patch) | |
tree | 090ba9110b29320dfde7c3eff6ab97f9f548abd8 /kernel/kernel_prelude.hats | |
parent | 5ef9221f4dfe78d69247989ef7edc8d3101a5014 (diff) | |
download | ats-os-cd8a202caac232c7a5b05ad11eb5059d9ad3f002.tar.xz ats-os-cd8a202caac232c7a5b05ad11eb5059d9ad3f002.zip |
Implementing interrupts (exceptions)
Diffstat (limited to 'kernel/kernel_prelude.hats')
-rw-r--r-- | kernel/kernel_prelude.hats | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/kernel/kernel_prelude.hats b/kernel/kernel_prelude.hats index 683b2d5..048cba1 100644 --- a/kernel/kernel_prelude.hats +++ b/kernel/kernel_prelude.hats @@ -8,7 +8,5 @@ val () = clear_screen() staload "kernel/output/print.dats" -castfn i2u8 {n: nat} (i: int n): uint8 n - #endif |