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