payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / msi / ms7707 / Kconfig
blob227c0cff0ce7992bb71a4dacdc882604bb7796cd
1 if BOARD_MSI_MS7707
3 config BOARD_SPECIFIC_OPTIONS
4         def_bool y
5         select NORTHBRIDGE_INTEL_SANDYBRIDGE
6         select USE_NATIVE_RAMINIT
7         select SOUTHBRIDGE_INTEL_BD82X6X
8         select SUPERIO_FINTEK_F71808A
9         select BOARD_ROMSIZE_KB_4096
10         select HAVE_ACPI_TABLES
11         select HAVE_ACPI_RESUME
12         select MAINBOARD_USES_IFD_GBE_REGION
13         select NO_UART_ON_SUPERIO
14         select SERIRQ_CONTINUOUS_MODE
16 config MAINBOARD_DIR
17         default "msi/ms7707"
19 config MAINBOARD_PART_NUMBER
20         default "MS-7707"
22 config DRAM_RESET_GATE_GPIO
23         int
24         default 60
26 config USBDEBUG_HCD_INDEX # FIXME: check this
27         int
28         default 2
30 config CBFS_SIZE
31         default 0x200000
33 endif