1 files changed, 0 insertions, 28 deletions
diff --git a/usr/tasking.h b/usr/tasking.h
deleted file mode 100644
index 4b11999..0000000
--- a/usr/tasking.h
+++ /dev/null
@@ -1,28 +0,0 @@
-#ifndef JOVE_TASKING_H
-#define JOVE_TASKING_H 1
-
-#include <stddef.h>
-#include <stdint.h>
-#include "sys/types.h"
-#include "mem/memory.h"
-
-struct Task
-{
-    struct Task *next;
-    tid_t id;
-    uintptr_t kbp;
-    size_t perm;
-
-    page_directory_t *pd;
-};
-
-extern struct Task *task_current;
-
-void tasking_setup(void);
-
-struct Task *task_new(struct Task *parent);
-struct Task *task_get(tid_t id);
-
-void task_perm_release(struct Task *task, size_t mask);
-
-#endif