diff --git a/firmware/kernel.h b/firmware/kernel.h
index b5a9ae3ff4..951ccee947 100644
--- a/firmware/kernel.h
+++ b/firmware/kernel.h
@@ -49,6 +49,8 @@ extern void kernel_init(void);
 extern void yield(void);
 extern void sleep(int ticks);
 int set_irq_level(int level);
+int tick_add_task(void (*f)(void));
+int tick_remove_task(void (*f)(void));
 
 extern void queue_init(struct event_queue *q);
 extern struct event *queue_wait(struct event_queue *q);