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