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

#
# Alpha Linux Miniloader setup
#
KSRC=/usr/src/linux
# MINI_ALPHA_XLT is not set
# MINI_ALPHA_XL is not set
# MINI_ALPHA_BOOK1 is not set
# MINI_ALPHA_AVANTI is not set
# MINI_ALPHA_CABRIOLET is not set
# MINI_ALPHA_EB66 is not set
# MINI_ALPHA_EB66P is not set
# MINI_ALPHA_EB64P is not set
# MINI_ALPHA_EB164 is not set
# MINI_ALPHA_PC164 is not set
# MINI_ALPHA_LX164 is not set
# MINI_ALPHA_SX164 is not set
# MINI_ALPHA_NONAME is not set
# MINI_ALPHA_TAKARA is not set
# MINI_ALPHA_MIKASA is not set
# MINI_ALPHA_ALCOR is not set
# MINI_ALPHA_MIATA is not set
# MINI_ALPHA_RUFFIAN is not set
# MINI_ALPHA_P2K is not set
# MINI_ALPHA_UDB is not set
MINI_SERIAL_ECHO=y
SERIAL_PORT=2
SERIAL_SPEED=9600
# MINI_SERIAL_IO is not set
MINI_DIGITAL_BIOSEMU=y
# MINI_FREE_BIOSEMU is not set
# MINI_VGA_RAW is not set
# MINI_VGA_RAW2 is not set
MINI_TGA_CONSOLE=y
MINI_EXTERNAL_FONT=y
MINI_FONT_FILE=/usr/lib/kbd/consolefonts/default8x16.gz
MILO_CONFIG_EXT2FS=y
MILO_CONFIG_MSDOSFS=y
MILO_CONFIG_REISERFS=y
MILO_CONFIG_ISOFS=y
MINI_BUILD_PALCODE_FROM_SOURCES=y
# AUTO_DEVICE_SETUP is not set
MILO_BOOT_DEV=sda3
DEBUG_MILO=y
MILO_PAGER=y
MILO_SYMLINK_DIRS=y
# REUSE_MEMORY is not set

#
# Debug settings
#
# DEBUG_SETTINGS is not set
