- echo "# Set up the isolinux boot loader"
- mkdir -p $ISOTREE/boot/syslinux/bios
- cp kernel/usr/lib/syslinux/modules/bios/* $ISOTREE/boot/syslinux/bios
- mv $ISOTREE/boot/syslinux/bios/ldlinux.c32 $ISOTREE/
- cp kernel/usr/lib/ISOLINUX/isolinux.bin $ISOTREE/
- mcopy -i $P1 ::/syslinux.cfg $ISOTREE/
- mcopy -i $P1 ::/bootmenu.cfg $ISOTREE/
- mcopy -i $P1 ::/splash.png $ISOTREE/
- mcopy -i $P1 ::/vmlinuz $ISOTREE/
- mcopy -i $P1 ::/initrd.gz $ISOTREE/
+
+ echo "# Set up the isolinux boot loader in $ISOTREE"
+ mkdir -p $ISOTREE/boot/isolinux/bios
+ cp kernel/usr/lib/syslinux/modules/bios/* $ISOTREE/boot/isolinux/bios
+ cp kernel/usr/lib/ISOLINUX/isolinux.bin $ISOTREE/boot/isolinux
+
+ ## ldlinux.c32 must be sibling to isolinux.bin
+ mv $ISOTREE/boot/isolinux/bios/ldlinux.c32 $ISOTREE/boot/isolinux
+
+ ## use isolinux.cfg for isolinux boot
+ cp syslinux-iso.cfg $ISOTREE/boot/isolinux/isolinux.cfg
+
+ ## put splash, vmlinux and initrd as siblings
+ mcopy -i $P1 ::/splash.png ::/vmlinuz ::/initrd.gz $ISOTREE/boot/isolinux