diff --git a/Makefile b/Makefile
index ada3cc12c28359763adbfb67feadf6b2aeb01caa..680bfef7a293dfe5bf3bc8014f6de4ca518a67ae 100644
--- a/Makefile
+++ b/Makefile
@@ -475,7 +475,7 @@ coverage-clean:
 	@-rm -Rf ${COVERAGE_OUTPUT}/*.coverage ${COVERAGE_REPORT}
 
 .PHONY: clean
-clean: coverage-clean clean-old-names clean-kernels
+clean: coverage-clean clean-old-names
 	@-dune clean
 	@-rm -f ${ALL_EXECUTABLES}
 	@-${MAKE} -C docs clean
diff --git a/src/kernel_sequencer/Makefile b/src/kernel_sequencer/Makefile
index f62cf93fb37a69a11d3d455547d74bb3819258e7..7bf1032fa0e335e3b0c066c50132ca3dca5f23f3 100644
--- a/src/kernel_sequencer/Makefile
+++ b/src/kernel_sequencer/Makefile
@@ -24,3 +24,7 @@ build-dev-deps:
 .PHONY: test
 test:
 	@cargo test
+
+.PHONY: clean
+clean:
+	@cargo clean