- 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
+ mv $ISOTREE/boot/isolinux/bios/ldlinux.c32 $ISOTREE/boot/isolinux
+ cp kernel/usr/lib/ISOLINUX/isolinux.bin $ISOTREE/boot/isolinux
+ cp syslinux-iso.cfg $ISOTREE/boot/isolinux/syslinux.cfg
+ mcopy -i $P1 ::/splash.png ::/vmlinuz $ISOTREE/