1 files changed, 0 insertions, 9 deletions
diff --git a/src/platform/asm.h b/src/platform/asm.h
deleted file mode 100644
index 6f72617..0000000
--- a/src/platform/asm.h
+++ /dev/null
@@ -1,9 +0,0 @@
-#pragma once
-
-// boot.s
-__attribute__((noreturn))
-void halt_cpu();
-
-// sysenter.c
-void sysexit(void (*fun)(), void *stack_top);
-void sysenter_setup();