index : archiso32 | |
Archlinux32 iso tools | gitolite user |
summaryrefslogtreecommitdiff |
-rw-r--r-- | configs/releng/syslinux/archiso_sys.cfg | 17 |
diff --git a/configs/releng/syslinux/archiso_sys.cfg b/configs/releng/syslinux/archiso_sys.cfg index 62bba0b..dc1a6eb 100644 --- a/configs/releng/syslinux/archiso_sys.cfg +++ b/configs/releng/syslinux/archiso_sys.cfg @@ -1,13 +1,8 @@ -INCLUDE boot/syslinux/archiso_head.cfg +INCLUDE archiso_head.cfg -LABEL arch32 -TEXT HELP -Boot the Arch Linux (i686) live medium. -It allows you to install Arch Linux or perform system maintenance. -ENDTEXT -MENU LABEL Boot Arch Linux (i686) -LINUX boot/i686/vmlinuz -INITRD boot/intel_ucode.img,boot/amd_ucode.img,boot/i686/archiso.img -APPEND archisobasedir=%INSTALL_DIR% archisolabel=%ARCHISO_LABEL% +DEFAULT arch32 +TIMEOUT 150 -INCLUDE boot/syslinux/archiso_tail.cfg +INCLUDE archiso_sys-linux.cfg + +INCLUDE archiso_tail.cfg |