if BOARD_GIGABYTE_GA_2761GXDK config BOARD_SPECIFIC_OPTIONS # dummy def_bool y select CPU_AMD_SOCKET_AM2 select DIMM_DDR2 select NORTHBRIDGE_AMD_AMDK8 select SOUTHBRIDGE_SIS_SIS966 select HT_CHAIN_DISTRIBUTE select SUPERIO_ITE_IT8716F select PARALLEL_CPU_INIT select HAVE_OPTION_TABLE select HAVE_PIRQ_TABLE select HAVE_MP_TABLE select LIFT_BSP_APIC_ID select BOARD_ROMSIZE_KB_512 select QRANK_DIMM_SUPPORT select K8_ALLOCATE_IO_RANGE select SET_FIDVID config MAINBOARD_DIR string default gigabyte/ga_2761gxdk config DCACHE_RAM_BASE hex default 0xc8000 config DCACHE_RAM_SIZE hex default 0x08000 config APIC_ID_OFFSET hex default 0x10 config MEM_TRAIN_SEQ int default 2 config MAINBOARD_PART_NUMBER string default "GA-2761GXDK" config PCI_64BIT_PREF_MEM bool default n config MAX_CPUS int default 2 config MAX_PHYSICAL_CPUS int default 1 config HT_CHAIN_UNITID_BASE hex default 0x0 config HT_CHAIN_END_UNITID_BASE hex default 0x20 config IRQ_SLOT_COUNT int default 11 endif # BOARD_GIGABYTE_GA_2761GXDK