1 # CONFIG_LP_MULTIBOOT is not set
2 CONFIG_LP_HEAP_SIZE=67108864
3 CONFIG_LP_STACK_SIZE=16384
4 CONFIG_LP_BASE_ADDRESS=0x00100000
5 # CONFIG_LP_CURSES is not set
6 CONFIG_LP_SERIAL_IOBASE=0x3f8
7 CONFIG_LP_COREBOOT_VIDEO_CONSOLE=y
8 # CONFIG_LP_PCI is not set
9 # CONFIG_LP_NVRAM is not set
10 CONFIG_LP_TIMER_GENERIC_REG=0x0
11 CONFIG_LP_TIMER_GENERIC_HIGH_REG=0x0
12 # CONFIG_LP_STORAGE is not set
13 # CONFIG_LP_USB_MSC is not set