12 config SYS_CONFIG_NAME
18 config BOARD_SPECIFIC_OPTIONS # dummy
20 select X86_RESET_VECTOR
22 select BOARD_ROMSIZE_KB_8192
23 select SPI_FLASH_STMICRO
24 # Enable Winbond so we can use Dediprog em100pro emulator which does
26 select SPI_FLASH_WINBOND