Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 3abfe9a8c876edadf93ecfc3c4742d4266d6e1b5)
+++ kernel/Makefile	(revision 9d2d444d3b59436c06a1f40efb0311a036ac3f9f)
@@ -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 \