From 3fdc203cc656a5ad66ddb53fa0b15598f01b5a7b Mon Sep 17 00:00:00 2001
From: Tobias Powalowski <tpowa@archlinux.org>
Date: Thu, 9 Mar 2023 19:24:27 +0100
Subject: [PATCH] add kernel to /boot

---
 usr/lib/archboot/iso.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/usr/lib/archboot/iso.sh b/usr/lib/archboot/iso.sh
index ab53e3e53..1c7a62c4a 100644
--- a/usr/lib/archboot/iso.sh
+++ b/usr/lib/archboot/iso.sh
@@ -174,8 +174,8 @@ _prepare_uefi_image() {
     mkfs.vfat --invariant -C "${VFAT_IMAGE}" "${IMGSZ}" >/dev/null
     ## Copying all files to UEFI vfat image
     mcopy -m -i "${VFAT_IMAGE}" -s "${_ISODIR}"/EFI "${_ISODIR}"/boot ::/
-    # leave EFI/ for virtualbox and other restricted VM emulators
-    find "${_ISODIR} "/boot ! -name "${_ISODIR}"/boot/vmlinuz-${_ARCH} -delete
+    # leave EFI/ and /boot/kernel for virtualbox and other restricted VM emulators :(
+    find "${_ISODIR}"/boot/* ! -name "${_ISODIR}"/boot/vmlinuz-${_ARCH} -delete
 }
 
 _prepare_extlinux_conf() {