-char *get_task_list(void);
-int kill_task(char *id);
-void sched_shutdown(void);
+char *get_task_list(struct sched *s);
+void task_notify(struct task *t, int err);
+void task_notify_all(struct sched *s, int err);
+int task_get_notification(struct task *t);