2008-09-26 13:21:21 +02:00
|
|
|
#
|
|
|
|
|
# Automatically generated make config: don't edit
|
2009-05-21 12:02:52 +02:00
|
|
|
# libpayload version: 0.2.0
|
2010-03-26 12:47:13 +01:00
|
|
|
# Fri Mar 26 12:45:27 2010
|
2008-09-26 13:21:21 +02:00
|
|
|
#
|
|
|
|
|
|
2010-03-26 12:47:13 +01:00
|
|
|
#
|
|
|
|
|
# Generic Options
|
|
|
|
|
#
|
|
|
|
|
# CONFIG_EXPERIMENTAL is not set
|
|
|
|
|
# CONFIG_OBSOLETE is not set
|
|
|
|
|
# CONFIG_DEVELOPER is not set
|
|
|
|
|
|
2008-10-22 13:23:32 +02:00
|
|
|
#
|
|
|
|
|
# Architecture Options
|
|
|
|
|
#
|
2009-05-21 12:02:52 +02:00
|
|
|
CONFIG_TARGET_I386=y
|
|
|
|
|
# CONFIG_TARGET_POWERPC is not set
|
2008-10-22 13:23:32 +02:00
|
|
|
# CONFIG_MULTIBOOT is not set
|
|
|
|
|
|
2008-09-26 13:21:21 +02:00
|
|
|
#
|
|
|
|
|
# Standard Libraries
|
|
|
|
|
#
|
|
|
|
|
CONFIG_LIBC=y
|
|
|
|
|
CONFIG_TINYCURSES=y
|
2010-03-26 12:47:13 +01:00
|
|
|
# CONFIG_CBFS is not set
|
2008-09-26 13:21:21 +02:00
|
|
|
|
|
|
|
|
#
|
|
|
|
|
# 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
|
2008-10-08 16:47:41 +02:00
|
|
|
# CONFIG_GEODELX_VIDEO_CONSOLE is not set
|
2010-03-26 12:47:13 +01:00
|
|
|
CONFIG_COREBOOT_VIDEO_CONSOLE=y
|
2008-09-26 13:21:21 +02:00
|
|
|
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
|
2010-03-26 12:47:13 +01:00
|
|
|
CONFIG_USB=y
|
|
|
|
|
CONFIG_USB_UHCI=y
|
|
|
|
|
# CONFIG_USB_OHCI is not set
|
|
|
|
|
# CONFIG_USB_EHCI is not set
|
|
|
|
|
CONFIG_USB_HID=y
|
|
|
|
|
CONFIG_USB_HUB=y
|
|
|
|
|
CONFIG_USB_MSC=y
|
