diff --git a/kernel/Makefile b/kernel/Makefile
index 52cc06c4..e470f5ba 100644
--- a/kernel/Makefile
+++ b/kernel/Makefile
@@ -1,7 +1,6 @@
 C_source = main.c tasks.c processor.c tests.c
 
 OBJS += $(patsubst %.c, %.o, $(filter %.c, $(C_source)))
-ALLOBJS += $(patsubst %.c, %.o, $(filter %.c, $(C_source)))
 
 # other implicit rules
 %.o : %.c