diff --git a/tools/write_disk_image.sh b/tools/write_disk_image.sh index 2e0dac82..addcc79b 100644 --- a/tools/write_disk_image.sh +++ b/tools/write_disk_image.sh @@ -103,6 +103,10 @@ if [ -d "${GRUB_INSTALL_PATH}" ] || [ "${INSTALL_GRUB_TO_IMAGE}" = "0" ]; then INSTALL_GRUB_TO_IMAGE="0" else mkdir -p ${GRUB_INSTALL_PATH} +fi + + +if [ ${ARCH} == "i386" ] || [ ${ARCH} == "x86_64" ]; then cp ${kernel} ${root_folder}/bin/disk_mount/boot/ fi