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

UI boot/syslinux/menu.c32
MENU TITLE Arch Linux
MENU CLEAR

DEFAULT arch
TIMEOUT 30

INCLUDE boot/syslinux/syslinux-linux.cfg