d385ed29b9
process. The PPC support is still stubbed, with commented out x86 code as guide line for an implementor. Signed-off-by: Patrick Georgi <patrick.georgi@coresystems.de> Acked-by: Stefan Reinauer <stepan@coresystems.de> git-svn-id: svn://svn.coreboot.org/coreboot/trunk@4293 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1
41 lines
746 B
Text
41 lines
746 B
Text
#
|
|
# Automatically generated make config: don't edit
|
|
# libpayload version: 0.2.0
|
|
# Thu May 21 12:01:39 2009
|
|
#
|
|
|
|
#
|
|
# Architecture Options
|
|
#
|
|
CONFIG_TARGET_I386=y
|
|
# CONFIG_TARGET_POWERPC is not set
|
|
# CONFIG_MULTIBOOT is not set
|
|
|
|
#
|
|
# Standard Libraries
|
|
#
|
|
CONFIG_LIBC=y
|
|
CONFIG_TINYCURSES=y
|
|
|
|
#
|
|
# Console Options
|
|
#
|
|
CONFIG_SERIAL_CONSOLE=y
|
|
CONFIG_SERIAL_IOBASE=0x3f8
|
|
# CONFIG_SERIAL_SET_SPEED is not set
|
|
# CONFIG_SERIAL_ACS_FALLBACK is not set
|
|
CONFIG_VIDEO_CONSOLE=y
|
|
CONFIG_VGA_VIDEO_CONSOLE=y
|
|
# CONFIG_GEODELX_VIDEO_CONSOLE is not set
|
|
CONFIG_PC_KEYBOARD=y
|
|
CONFIG_PC_KEYBOARD_LAYOUT_US=y
|
|
# CONFIG_PC_KEYBOARD_LAYOUT_DE is not set
|
|
|
|
#
|
|
# Drivers
|
|
#
|
|
CONFIG_PCI=y
|
|
CONFIG_NVRAM=y
|
|
# CONFIG_RTC_PORT_EXTENDED_VIA is not set
|
|
CONFIG_SPEAKER=y
|
|
# CONFIG_USB is not set
|