1 files changed, 0 insertions, 32 deletions
diff --git a/scheduler.h b/scheduler.h
deleted file mode 100644
index 8c0f569..0000000
--- a/scheduler.h
+++ /dev/null
@@ -1,32 +0,0 @@
-#ifndef SCHEDULER_H
-#define SCHEDULER_H
-
-#include <stdint.h>
-
-#include "psr.h"
-
-extern PSR_t PL1_PSR;
-
-void setup_scheduler_structures(void);
-
-// to be called by irq handler when respective uart interrupt happens
-void scheduler_try_output(void);
-
-// to be called by irq handler when respective uart interrupt happens
-void scheduler_try_input(void);
-
-void __attribute__((noreturn))
-schedule_wait_for_output(uint32_t regs[14], char c);
-
-void __attribute__((noreturn))
-schedule_wait_for_input(uint32_t regs[14]);
-
-void __attribute__((noreturn))
-schedule_save_context(uint32_t regs[14]);
-
-void __attribute__((noreturn)) schedule(void);
-
-void __attribute__((noreturn))
-schedule_new(uint32_t pc, uint32_t sp);
-
-#endif