1 files changed, 0 insertions, 12 deletions
diff --git a/libkernel.c b/libkernel.c
deleted file mode 100644
index 0955e0e..0000000
--- a/libkernel.c
+++ /dev/null
@@ -1,12 +0,0 @@
-// This is the privileged code, that gets placed somewhere in
-// unprivileged process' address space. It's compiled as relocatable,
-// so it can be loaded at different address for different processes.
-
-void call_unprivileged(void (*address) (void)) {
-  // switch to PL0
-  asm("cps #0b10000\n\r"
-      "isb" ::: "memory");
-
-  // jump to that unprivileged code
-  address();
-}