1 files changed, 0 insertions, 27 deletions
diff --git a/tsk/tasking.h b/tsk/tasking.h
deleted file mode 100644
index b322682..0000000
--- a/tsk/tasking.h
+++ /dev/null
@@ -1,27 +0,0 @@
-#ifndef JOVE_TASKING_H
-#define JOVE_TASKING_H 1
-
-#include <stddef.h>
-#include <stdint.h>
-
-typedef size_t tid_t;
-
-struct Task
-{
-    struct Task *next;
-    tid_t id;
-    uintptr_t kbp;
-    size_t perm;
-};
-
-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_get_pd(struct Task *task);
-void task_perm_release(struct Task *task, size_t mask);
-
-#endif