printf '\033[01;32m * \033[37mInstalling ISOLINUX...\033[00;39m\n'

mkdir cdroot-$ARCH/isolinux

cat >cdroot-$ARCH/isolinux/isolinux.cfg <<BOOTCFG
prompt 1
default adelie

label adelie
	kernel /bzImage
	append initrd=/initrd
BOOTCFG

cp /usr/share/syslinux/isolinux.bin cdroot-$ARCH/isolinux/isolinux.bin
cp /usr/share/syslinux/ldlinux.c32 cdroot-$ARCH/isolinux/