diff --git a/Makefile b/Makefile
index 9c20a793..87853e37 100644
--- a/Makefile
+++ b/Makefile
@@ -97,6 +97,9 @@ tools:
 
 build: build_lynx build_kernel build_userspace build_drivers build_image
 
+dump:
+	make --quiet -C Kernel dump
+
 rebuild: clean build
 
 # Quickly build the operating system (it won't create the ISO file and doxygen documentation)