1 # Created by Tobias Powalowski <tpowa@archlinux.org>
2 # config file of mkisolinux
4 # DEFAULT kernel boot options like root=/dev/sda3 etc.
5 # add your root= option, if you boot from a disk device
6 # and don't want to add it by hand on each boot
9 # mkinitcpio config file, defaulted to stock config file
10 MKINITCPIO_CONFIG="/etc/mkinitcpio.conf"
12 # kernel version, defaulted to build for runtime kernel
15 # kernel image, defaulted to stock arch kernel
16 KERNEL="/boot/vmlinuz-linux"
19 BOOTMESSAGE="/usr/share/mkisolinux/boot.msg"
20 OPTIONSBOOTMESSAGE="/usr/share/mkisolinux/options.msg"
22 # syslinux.cfg file to use
25 # Prompt on boot, 1=yes 0=no
28 # Name of the ISO, if empty Arch Linux is used if not set by a HOOK later
31 # Timeout, 30 seconds to fix usb keyboard issues
32 # 0 means wait for prompt
35 # Setting cdrecord options