1405d8205SBin Meng /* 2405d8205SBin Meng * Copyright (C) 2014, Bin Meng <bmeng.cn@gmail.com> 3405d8205SBin Meng * 4405d8205SBin Meng * SPDX-License-Identifier: GPL-2.0+ 5405d8205SBin Meng */ 6405d8205SBin Meng 7405d8205SBin Meng /* 8405d8205SBin Meng * board/config.h - configuration options, board specific 9405d8205SBin Meng */ 10405d8205SBin Meng 11405d8205SBin Meng #ifndef __CONFIG_H 12405d8205SBin Meng #define __CONFIG_H 13405d8205SBin Meng 14405d8205SBin Meng #include <configs/x86-common.h> 15405d8205SBin Meng 16405d8205SBin Meng #define CONFIG_SYS_MONITOR_LEN (1 << 20) 17405d8205SBin Meng #define CONFIG_BOARD_EARLY_INIT_F 181f124ebaSBin Meng #define CONFIG_ARCH_EARLY_INIT_R 19afbf1404SBin Meng #define CONFIG_ARCH_MISC_INIT 20405d8205SBin Meng 21405d8205SBin Meng #define CONFIG_SMSC_LPC47M 22405d8205SBin Meng 23405d8205SBin Meng #define CONFIG_PCI_PNP 24405d8205SBin Meng 25*60fe1018SBin Meng #define CONFIG_STD_DEVICES_SETTINGS "stdin=serial,i8042-kbd,usbkbd\0" \ 267aaff9bfSBin Meng "stdout=serial,vga\0" \ 277aaff9bfSBin Meng "stderr=serial,vga\0" 28405d8205SBin Meng 29405d8205SBin Meng #define CONFIG_SCSI_DEV_LIST \ 30405d8205SBin Meng {PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_TCF_SATA} 31405d8205SBin Meng 32adfe3b24SBin Meng #define CONFIG_SPI_FLASH_SST 33adfe3b24SBin Meng 34aada6276SBin Meng #define CONFIG_MMC 35aada6276SBin Meng #define CONFIG_SDHCI 36aada6276SBin Meng #define CONFIG_GENERIC_MMC 37aada6276SBin Meng #define CONFIG_MMC_SDMA 38aada6276SBin Meng #define CONFIG_CMD_MMC 39aada6276SBin Meng 40fba02d69SBin Meng /* Environment configuration */ 41fba02d69SBin Meng #define CONFIG_ENV_SECT_SIZE 0x1000 42fba02d69SBin Meng #define CONFIG_ENV_OFFSET 0 43fba02d69SBin Meng 44405d8205SBin Meng #endif /* __CONFIG_H */ 45