From da094d011f52a8f1ce879810cd1a4bbbe34f08d4 Mon Sep 17 00:00:00 2001
From: Tyler Murphy <=>
Date: Sat, 22 Jul 2023 11:05:30 -0400
Subject: paging is not very fun

---
 kernel/include/sys.h | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 kernel/include/sys.h

(limited to 'kernel/include/sys.h')

diff --git a/kernel/include/sys.h b/kernel/include/sys.h
deleted file mode 100644
index 003f85c..0000000
--- a/kernel/include/sys.h
+++ /dev/null
@@ -1,10 +0,0 @@
-#pragma once
-
-extern void arch_init(void *boot_info);
-extern void arch_update(void);
-extern void arch_halt(void);
-extern void arch_wait_io(void);
-extern void arch_wait_int(void);
-extern void arch_disable_int(void);
-extern void arch_enable_int(void);
-extern void arch_poweroff(void);
-- 
cgit v1.2.3-freya