Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 3abfe9a8c876edadf93ecfc3c4742d4266d6e1b5)
+++ kernel/Makefile	(revision d0f3692cd796e355ef06a628781331e028cc878a)
@@ -226,5 +226,4 @@
 	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 \
@@ -382,5 +381,4 @@
 		generic/src/main/kinit.c \
 		generic/src/proc/the.c \
-		generic/src/proc/tasklet.c \
 		generic/src/mm/frame.c \
 		generic/src/mm/page.c \