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

UI menu.c32
MENU TITLE Arch Linux
MENU CLEAR

DEFAULT arch
TIMEOUT 30

INCLUDE syslinux-linux.cfg