1 files changed, 0 insertions, 36 deletions
diff --git a/kernel/memory/paging.dats b/kernel/memory/paging.dats
deleted file mode 100644
index 84a8bf4..0000000
--- a/kernel/memory/paging.dats
+++ /dev/null
@@ -1,36 +0,0 @@
-#define ATS_DYNLOADFLAG 0
-
-#include "kernel/prelude/kernel_prelude.hats"
-
-staload UN = "prelude/SATS/unsafe.sats"
-
-staload "./paging.sats"
-staload "./frame.sats"
-staload "lib/SATS/valid.sats"
-
-assume entry_type = uint64
-
-val zero = u2uint64(0u)
-
-implement is_unused(entry) = entry = zero
-implement set_unused(entry) = entry := zero
-
-implement flag_contains(entry,flag) = 
-    (entry land $UN.cast{uint64}(1 << (case+ flag of
-      | PRESENT() => 0
-      | WRITABLE() => 1
-      | USER_ACCESSIBLE() => 2
-      | WRITE_THROUGH() => 3
-      | NO_CACHE() => 4
-      | ACCESSED() => 5
-      | DIRTY() => 6
-      | HUGE_PAGE() => 7
-      | GLOBAL() => 8
-      | NO_EXECUTE() => 63
-    ))) != zero
-
-(* implement test()  = let *)
-(* in *)
-(*   (5,true) *)
-(* end *)
-