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 |