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

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