From d177285a761de33b86fcbde72fd718137bfa6f86 Mon Sep 17 00:00:00 2001 From: Xander Date: Thu, 17 Aug 2023 22:08:21 +0200 Subject: Add valid/unvalid type, replacement of optional --- kernel/memory/paging.dats | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'kernel/memory/paging.dats') diff --git a/kernel/memory/paging.dats b/kernel/memory/paging.dats index 9b55624..84a8bf4 100644 --- a/kernel/memory/paging.dats +++ b/kernel/memory/paging.dats @@ -6,6 +6,7 @@ staload UN = "prelude/SATS/unsafe.sats" staload "./paging.sats" staload "./frame.sats" +staload "lib/SATS/valid.sats" assume entry_type = uint64 @@ -28,3 +29,8 @@ implement flag_contains(entry,flag) = | NO_EXECUTE() => 63 ))) != zero +(* implement test() = let *) +(* in *) +(* (5,true) *) +(* end *) + -- cgit v1.2.3