index : archiso32 | |
Archlinux32 iso tools | gitolite user |
summaryrefslogtreecommitdiff |
-rw-r--r-- | configs/releng/syslinux/archiso_sys.cfg | 3 |
diff --git a/configs/releng/syslinux/archiso_sys.cfg b/configs/releng/syslinux/archiso_sys.cfg index dd6e03f..5fd4e8f 100644 --- a/configs/releng/syslinux/archiso_sys.cfg +++ b/configs/releng/syslinux/archiso_sys.cfg @@ -1,5 +1,8 @@ INCLUDE boot/syslinux/archiso_head.cfg +DEFAULT arch64 +TIMEOUT 30 + LABEL arch64 TEXT HELP Boot the Arch Linux install medium on BIOS. |