- #mkdir -p $ISOTREE/EFI/BOOT
- #cp kernel/usr/lib/SYSLINUX.EFI/efi64/syslinux.efi \
- # $ISOTREE/EFI/BOOT/bootia64.efi
- #cp $ISOTREE/boot/isolinux/*.* $ISOTREE/EFI/boot/
-
- #mcopy -i $P1 ::/ldlinux.sys ::/ldlinux.c32 $ISOTREE/
- #mcopy -i $P1 ::/initrd.gz $ISOTREE/
- #cp devuan/initrd.gz $ISOTREE/
+ ## 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