From e2d7deb82cd25b47cbccda0c48ab39e17c5c536d Mon Sep 17 00:00:00 2001 From: Xander Date: Thu, 17 Aug 2023 21:09:27 +0200 Subject: Started implementing paging --- kernel/prelude/kernel_prelude.hats | 1 + 1 file changed, 1 insertion(+) (limited to 'kernel/prelude/kernel_prelude.hats') 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 -- cgit v1.2.3