1 # Support for the GIGABYTE GA-M57SLI-S4 board
3 #### Platform configuration
9 ifeq ($(CONFIG_TARGET_64BIT),y)
19 KERNEL_MK=$(PACKAGE_DIR)/kernel/m57sli.mk
20 CBV2_MK=$(PACKAGE_DIR)/coreboot-v2/m57sli.mk
22 # kernel configuration (for LAB)
24 KERNEL_VERSION=2.6.22.2
26 ifeq ($(CONFIG_TARGET_64BIT),y)
27 $(error You must specify a kernel configuration for 64 bit)
29 KERNEL_CONFIG=$(PACKAGE_DIR)/kernel/conf/defconfig-m57sli
32 #UCLIBC_ARCH=$(TARGET_ARCH)
34 # Etherboot configuration
37 # coreboot configuration
39 COREBOOT_VENDOR=gigabyte
44 COREBOOT_ROM_NAME=coreboot.rom
48 FILO_CONFIG=m57sli-Config