From 9c48cff95c3a9281bcbc06cad32526f834616219 Mon Sep 17 00:00:00 2001
From: Ludovic Pouzenc <ludovic@pouzenc.fr>
Date: Fri, 5 May 2017 11:51:16 +0200
Subject: Add comments + add syslinux (for mbr boot compat)

---
 make-boot-image.sh | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'make-boot-image.sh')

diff --git a/make-boot-image.sh b/make-boot-image.sh
index 5153ffc..0ba8ce8 100755
--- a/make-boot-image.sh
+++ b/make-boot-image.sh
@@ -56,9 +56,9 @@ codename=$(lsb_release -sc || true)
 if [ "x$codename" != "xjessie" ]
 then	cat >&2 <<EOT
 This script is tested only on Debian 8 (aka jessie).
-The fastest way to have the right environnment is :
+The fastest way to have the right environment is :
  * download debian live http://cdimage.debian.org/debian-cd/current-live/amd64/iso-hybrid/debian-live-8.5.0-amd64-standard.iso
- * burn it or copy it on a USB stick, alternatively launch a VM with it
+ * burn it or copy it on a USB stick (as raw, with "cp XX.iso /dev/sdX"), alternatively launch a VM with it
  * run this script from there
 EOT
 	exit 1
@@ -71,7 +71,7 @@ fi
 if [ ! -e "$WORKDIR/apt-done" ]
 then	$ROOTCMD apt-get update
 	# Dependencies of this script (assuming default debian install or live)
-	$ROOTCMD apt-get install wget libncurses5-dev coreutils
+	$ROOTCMD apt-get install wget libncurses5-dev coreutils syslinux
 	# Dependencies for kernel building
 	$ROOTCMD apt-get build-dep linux-source
 	# Dependancies for kernel tools
@@ -536,6 +536,7 @@ chmod +x "$WORKDIR/initrd/bin/sinkdo"
 
 # Copy / run result EFI file #
 ##############################
+# Workaround : direct kernel boot with libvirt/virt-manager do a chown on BOOTX64.EFI and cp won't overwrite
 [ -f "$OUTDIR/BOOTX64.EFI" ] && rm -f "$OUTDIR/BOOTX64.EFI"
 cp "$WORKDIR/kernel/arch/x86/boot/bzImage" "$OUTDIR/BOOTX64.EFI"
 
-- 
cgit v1.2.3