From 22ac94674b30e4865637af6715ad2bf4b1a01ef2 Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Tue, 18 Feb 2025 06:21:12 +0100
Subject: [PATCH] Makefile: generate a Device tree file (DTB).

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

diff --git a/Makefile b/Makefile
index f049217..a81b502 100644
--- a/Makefile
+++ b/Makefile
@@ -180,3 +180,5 @@ qemu-gdb: $K/kernel .gdbinit fs.img
 	@echo "*** Now run 'gdb' in another window." 1>&2
 	$(QEMU) $(QEMUOPTS) -S $(QEMUGDB)
 
+qemu-dump-dtb: $K/kernel fs.img
+	$(QEMU) $(QEMUOPTS) -machine dumpdtb=qemu.dtb