#
# Automatically generated file; DO NOT EDIT.
# Main menu
#

#
# Build
#
CONFIG_ARCH="i686"
CONFIG_EXTRA_CXX_FLAGS=""
CONFIG_OBJ_DIR="build"
# end of Build

#
# Drivers
#

#
# Video
#
CONFIG_video0_enable=y
CONFIG_video0_driver_cga=y
# CONFIG_video0_driver_vga is not set
CONFIG_VIDEO0_CLASS="CGA"
CONFIG_VIDEO0_CONSOLE=y
# end of Video

#
# Serial ports
#
CONFIG_serial0_enable=y
CONFIG_SERIAL0_CLASS="SerialPort"
CONFIG_SERIAL0_CONSOLE=y
# end of Serial ports
# end of Drivers