# # SPDX-License-Identifier: GPL-3.0-or-later INCLUDE boot/syslinux/archiso_head.cfg DEFAULT arch64 TIMEOUT 15 INCLUDE boot/syslinux/archiso_sys-linux.cfg INCLUDE boot/syslinux/archiso_tail.cfg