diff --git a/Makefile b/Makefile
index c7c24ae..3c776d5 100644
--- a/Makefile
+++ b/Makefile
@@ -33,6 +33,7 @@ libmittos: $(SYSROOT)/usr/lib/libmittos.a
 $(SYSROOT)/usr/lib/libmittos.a: FORCE
 ifeq ($(shell $(MAKE.libmittos) -sq install || echo 1), 1)
 	$(MAKE.libmittos) install
+	$(MAKE) $(MAKECMDGOALS)
 endif
 
 
diff --git a/src/kernel/Makefile b/src/kernel/Makefile
index b074bc5..5d164bd 100644
--- a/src/kernel/Makefile
+++ b/src/kernel/Makefile
@@ -16,6 +16,7 @@ LDLIBS := -nostdlib -lgcc -L/opt/sysroot/usr/lib -lc -lmittos
 
 kernel: $(OBJ)
 	$(LINK.c) $^ $(LOADLIBES) $(LDLIBS) -o $@
+kernel: .EXTRA_PREREQS = ${BUILDROOT}/sysroot/usr/lib/libmittos.a
 
 %.o: %.S.py
 	python3 $^ | $(COMPILE.S) $(DEPFLAGS) -x assembler-with-cpp - -o $@