#
# SPDX-License-Identifier: GPL-3.0-or-later

INCLUDE boot/syslinux/archiso_head.cfg

DEFAULT arch64
TIMEOUT 150

INCLUDE boot/syslinux/archiso_sys-linux.cfg

INCLUDE boot/syslinux/archiso_tail.cfg