- echo "# Add isolinux boot loader"
- mcopy -i $P1 kernel/usr/lib/ISOLINUX/isolinux.bin ::/
- mcopy -i $P1 kernel/usr/lib/ISOLINUX/isohdppx.bin ::/
+
+ 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
+