From 02d4f43151336a355b849bf0fc14e47c6448ab6d Mon Sep 17 00:00:00 2001
From: Max Wash <mbswash@gmail.com>
Date: Mon, 23 Feb 2026 21:55:47 +0000
Subject: [PATCH] cmake: fix run-kernel-monitor using unpatched kernel
 executable

---
 arch/x86_64/QEMU.cmake | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/arch/x86_64/QEMU.cmake b/arch/x86_64/QEMU.cmake
index 4df767b..5c7dbc4 100644
--- a/arch/x86_64/QEMU.cmake
+++ b/arch/x86_64/QEMU.cmake
@@ -43,12 +43,12 @@ add_custom_target(run-kernel
 add_custom_target(run-kernel-monitor
 	COMMAND
 		${QEMU}
-		-kernel $<TARGET_FILE:${kernel_name}>
+		-kernel ${patched_kernel}
 		-initrd ${sys_dir}/${bsp_name}
 		${generic_flags} ${no_debug_flags}
 		-monitor stdio
 	USES_TERMINAL
-	DEPENDS ${kernel_name} bsp)
+	DEPENDS ${patched_kernel} bsp)
 
 if (image_cdrom)
 	message(STATUS "QEMU: Enable CD-ROM boot")