diff options
| author | Xander <xander@biltopia.org> | 2023-08-17 21:09:27 +0200 |
|---|---|---|
| committer | Xander <xander@biltopia.org> | 2023-08-17 21:09:27 +0200 |
| commit | e2d7deb82cd25b47cbccda0c48ab39e17c5c536d (patch) | |
| tree | 30e9d6d316dc3912d077eed469268f710696e916 /kernel/prelude | |
| parent | b06ab74179453e0f8592c77c40992707b3e8b765 (diff) | |
| download | ats-os-e2d7deb82cd25b47cbccda0c48ab39e17c5c536d.tar.xz ats-os-e2d7deb82cd25b47cbccda0c48ab39e17c5c536d.zip | |
Started implementing paging
Diffstat (limited to 'kernel/prelude')
| -rw-r--r-- | kernel/prelude/SATS/safe_casts.sats | 1 | ||||
| -rw-r--r-- | kernel/prelude/kernel_prelude.hats | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/kernel/prelude/SATS/safe_casts.sats b/kernel/prelude/SATS/safe_casts.sats new file mode 100644 index 0000000..50a68a8 --- /dev/null +++ b/kernel/prelude/SATS/safe_casts.sats @@ -0,0 +1 @@ +castfn u2uint64{v : nat | v <= 0xFFFFFFFFFFFFFFFF}(v : uint v) : uint64 v diff --git a/kernel/prelude/kernel_prelude.hats b/kernel/prelude/kernel_prelude.hats index 39e7560..514c2c2 100644 --- a/kernel/prelude/kernel_prelude.hats +++ b/kernel/prelude/kernel_prelude.hats @@ -4,6 +4,7 @@ #include "share/atspre_staload.hats" staload "./DATS/print.dats" +staload "./SATS/safe_casts.sats" #endif |