From 4616a13e94a78ae4363428ce5c525685ef1c2b45 Mon Sep 17 00:00:00 2001
From: Andreas Kling <awesomekling@gmail.com>
Date: Sat, 21 Sep 2019 15:06:57 +0200
Subject: [PATCH] Build: Let's put the kernel in /boot/kernel for all builds

---
 Kernel/build-root-filesystem.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Kernel/build-root-filesystem.sh b/Kernel/build-root-filesystem.sh
index ea8f30b9ad..adee3a8a69 100755
--- a/Kernel/build-root-filesystem.sh
+++ b/Kernel/build-root-filesystem.sh
@@ -130,6 +130,9 @@ ln -s Inspector mnt/bin/ins
 ln -s SoundPlayer mnt/bin/sp
 echo "done"
 
+mkdir -p mnt/boot/
+cp kernel mnt/boot/
+
 # Run local sync script, if it exists
 if [ -f sync-local.sh ]; then
     sh sync-local.sh