diff --git a/Makefile b/Makefile
index 62b7e8d..52bec16 100644
--- a/Makefile
+++ b/Makefile
@@ -291,7 +291,9 @@ SECOND_FILES	= second/MMU030.c second/MMU030.h second/MMU030_asm.S \
 		  second/enter_kernel040.S second/keyboard.h \
 		  second/keyboard.c second/cli.h second/cli.c \
 		  second/bootenv.c second/bootenv.h \
-		  second/driver.c second/driver.h
+		  second/driver.c second/driver.h \
+		  second/enter_kernel.c second/enter_kernel.h \
+		  second/enter_kernel030.h second/enter_kernel040.h
 
 TOOLS_FILES	= tools/emile-set-cmdline.c tools/Makefile \
 		  tools/emile-first-tune.c \