From ba289729f37f045c547dfe14e716c121cd7fbd73 Mon Sep 17 00:00:00 2001
From: Brian Cain <bcain@quicinc.com>
Date: Sun, 15 Sep 2024 14:53:14 -0700
Subject: [PATCH] Create and install the binary kernel

Signed-off-by: Brian Cain <bcain@quicinc.com>
---
 build-rootfs.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build-rootfs.sh b/build-rootfs.sh
index 54048ef..5f789c1 100755
--- a/build-rootfs.sh
+++ b/build-rootfs.sh
@@ -142,7 +142,9 @@ build_kernel() {
 		LLVM_IAS=1 \
 		KBUILD_VERBOSE=1 \
 		vmlinux
+	hexagon-unknown-linux-musl-objcopy -O binary ../obj_linux/vmlinux ../obj_linux/vmlinux.bin
 	install -D ../obj_linux/vmlinux ${ROOTFS}/boot/vmlinux
+	install -D ../obj_linux/vmlinux.bin ${ROOTFS}/boot/vmlinux.bin
 }
 
 get_src_tarballs() {