1 files changed, 0 insertions, 35 deletions
diff --git a/kernel/memory/paging.sats b/kernel/memory/paging.sats
deleted file mode 100644
index 477e942..0000000
--- a/kernel/memory/paging.sats
+++ /dev/null
@@ -1,35 +0,0 @@
-#define ENTRY_COUNT 512
-
-staload "./frame.sats"
-staload "lib/SATS/valid.sats"
-
-abstype paddr_type(l:addr) = ptr(l)
-typedef paddr(l:addr) = paddr_type(l)
-
-abstype vaddr_type(l:addr) = ptr(l)
-typedef vaddr(l:addr) = vaddr_type(l)
-
-abst@ype entry_type = uint64
-typedef entry_t = entry_type
-
-typedef page_t = @{
-  num = size_t
-}
-
-datatype entry_flag = 
-  | PRESENT
-  | WRITABLE
-  | USER_ACCESSIBLE 
-  | WRITE_THROUGH 
-  | NO_CACHE 
-  | ACCESSED 
-  | DIRTY 
-  | HUGE_PAGE 
-  | GLOBAL 
-  | NO_EXECUTE 
-
-fn is_unused(entry_t) : bool
-fn set_unused(&entry_t) : void
-
-fn flag_contains(entry_t,entry_flag) : bool
-fn test() : [b : bool] valid(int,b)