From 4bbe418d2ecea36f80a38b74462c2936343f3b7d Mon Sep 17 00:00:00 2001
From: Nathan Lee <me@nwlee.tech>
Date: Fri, 28 Aug 2026 16:46:55 -0500
Subject: change kernel target

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 12dd521..60f915b 100644
--- a/Makefile
+++ b/Makefile
@@ -86,10 +86,11 @@ $(foreach module,$(MODULES),$(eval $(call module_template,$(module))))
 
 KERNEL_SRCS = $(wildcard $(shell grep '^kernel:' BuildConfig | sed 's/^kernel://' | awk '{$$1=$$1; print}'))
 KERNEL_LD := $(shell grep '^linker_script:' BuildConfig | sed 's/^linker_script://' | awk '{$$1=$$1; print}')
+KERNEL_TARGET := $(shell grep '^kernel_target:' BuildConfig | sed 's/^kernel_target://' | awk '{$$1=$$1; print}')
 KERNEL_OBJS = $(KERNEL_SRCS:.c=.o)
 KERNEL_OBJS := $(KERNEL_OBJS:.S=.o)
-KERNEL_BIN = kernel/kernel.bin
-KERNEL_ELF = kernel/kernel.elf
+KERNEL_BIN := $(KERNEL_TARGET)/kernel.bin
+KERNEL_ELF := $(KERNEL_TARGET)/kernel.elf
 
 GENERATED = \
 	$(KERNEL_OBJS) \
-- 
cgit v1.2.3