Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 6c441cf8f35799043d891a3a77032e1b0e49112b)
+++ kernel/Makefile	(revision 9bb85f3480d8697d332ae4f46dabcd45bc5ab0c5)
@@ -234,4 +234,5 @@
 	generic/src/proc/task.c \
 	generic/src/proc/the.c \
+	generic/src/proc/tasklet.c \
 	generic/src/syscall/syscall.c \
 	generic/src/syscall/copy.c \