From b106df2447d23d6b3fcffa7cc87edde218d054f3 Mon Sep 17 00:00:00 2001
From: Nathan Lee <me@nwlee.tech>
Date: Wed, 17 Jun 2026 13:05:15 -0500
Subject: create wdt device discovery

discuss: per wrv32em status, consider moving custom wdt format to dtb or
pci device discovery (potentially both: we have the framework for pci.ko
extension after using dtb to discover memory and pci devices)
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 9465dd1..2de743c 100644
--- a/Makefile
+++ b/Makefile
@@ -109,7 +109,7 @@ $(KERNEL_ELF): $(KERNEL_OBJS) linker.ld | $(BIN_DIR)
 
 $(KERNEL_BIN): $(KERNEL_ELF) | $(BIN_DIR)
 	@echo " OBJCOPY $@"
-	$(OBJCOPY) $(OBJCOPY_FLAG) $(KERNEL_ELF) $(KERNEL_BIN)
+	$(OBJCOPY) $(KERNEL_OBJCOPY_FLAG) $(KERNEL_ELF) $(KERNEL_BIN)
 
 $(OBJ_DIR)/%.o: %.c# | $(OBJ_DIR)/%
 	@mkdir -p $(dir $@)
-- 
cgit v1.2.3