#
# Toolchain
#
CONFIG_CCFLAGS="-g"
CONFIG_LDFLAGS=""
# end of Toolchain

#
# Target
#
CONFIG_ARCH_i686=y
# end of Target

#
# Devices
#
CONFIG_PIC_8259=y
CONFIG_UART_16550=y
CONFIG_VGA_TEXT_MODE=y
CONFIG_KB_PS2=y
# end of Devices