From 073d9c904741863b2a921be8d41654190e791bfb Mon Sep 17 00:00:00 2001
From: Adeeb Shihadeh <adeebshihadeh@gmail.com>
Date: Sat, 25 Jan 2025 18:22:05 -0800
Subject: [PATCH] oops, fix kernel build

---
 build_kernel.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/build_kernel.sh b/build_kernel.sh
index d6925fc..c2c7554 100755
--- a/build_kernel.sh
+++ b/build_kernel.sh
@@ -100,6 +100,10 @@ build_kernel() {
   dd if=/dev/zero of=$BOOT_IMG.sig.padded bs=2048 count=1
   dd if=$BOOT_IMG.sig of=$BOOT_IMG.sig.padded conv=notrunc
   cat $BOOT_IMG.nonsecure $BOOT_IMG.sig.padded > $BOOT_IMG
+
+  # Copy to output dir
+  mkdir -p $OUTPUT_DIR
+  mv $BOOT_IMG $OUTPUT_DIR/
 }
 
 # Run build_kernel in container