From e70b37312f4369aa01ac17e613998fd0900583c7 Mon Sep 17 00:00:00 2001
From: Alex <enderice2@users.noreply.github.com>
Date: Fri, 18 Nov 2022 06:47:42 +0200
Subject: [PATCH] Updated Makefile

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

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)