2 # Automatically generated make config: don't edit
3 # SeaBIOS Configuration
4 # Fri Apr 6 13:32:52 2012
11 # CONFIG_THREADS is not set
12 # CONFIG_RELOCATE_INIT is not set
16 CONFIG_COREBOOT_FLASH=y
18 # CONFIG_FLASH_FLOPPY is not set
38 # CONFIG_LPT is not set
50 # CONFIG_OPTIONROMS_DEPLOYED is not set
54 CONFIG_KBD_CALL_INT15_4F=y
58 # CONFIG_DISABLE_A20 is not set
70 CONFIG_DEBUG_SERIAL_PORT=0x3f8