#
# Automatically generated make config: don't edit
#

#
# Alpha Linux Miniloader setup
#
MINI_SERIAL_ECHO=y
MINI_DIGITAL_BIOSEMU=y
# MINI_BUILD_PALCODE_FROM_SOURCES is not set
