Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 6c441cf8f35799043d891a3a77032e1b0e49112b)
+++ kernel/Makefile	(revision 2c448fb8cf0ba4ec2da96ece59966a2ac34eb7ba)
@@ -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 \