Make sched.h visible to all parts of the kernel

diff --git a/kernel/core/sched.h b/kernel/core/sched.h
deleted file mode 100644 (file)
index 4f54bea..0000000
--- a/kernel/core/sched.h
+++ /dev/null
@@ -1,13 +0,0 @@
-#ifndef __CORE_SCHED_H
-#define __CORE_SCHED_H
-
-#include <config.h>
-
-void sched_tick(void);
-void sched_wait(pid_t);
-int  sched_enqueue(task_t*);
-int  sched_dequeue(task_t*);
-int  sched_signal(pid_t);
-int  sched_task_suspend(task_t*);
-
-#endif /* __CORE_SCHED_H */

diff --git a/kernel/include/sched.h b/kernel/include/sched.h
new file mode 100644 (file)
index 0000000..4f54bea
--- /dev/null
+++ b/kernel/include/sched.h
@@ -0,0 +1,13 @@
+#ifndef __CORE_SCHED_H
+#define __CORE_SCHED_H
+
+#include <config.h>
+
+void sched_tick(void);
+void sched_wait(pid_t);
+int  sched_enqueue(task_t*);
+int  sched_dequeue(task_t*);
+int  sched_signal(pid_t);
+int  sched_task_suspend(task_t*);
+
+#endif /* __CORE_SCHED_H */