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 19405d8205SBin Meng 20405d8205SBin Meng #define CONFIG_SMSC_LPC47M 21405d8205SBin Meng 22405d8205SBin Meng #define CONFIG_PCI_PNP 23405d8205SBin Meng 2460fe1018SBin Meng #define CONFIG_STD_DEVICES_SETTINGS "stdin=serial,i8042-kbd,usbkbd\0" \ 25*fcda8c38SBin Meng "stdout=serial,vidconsole\0" \ 26*fcda8c38SBin Meng "stderr=serial,vidconsole\0" 27405d8205SBin Meng 28405d8205SBin Meng #define CONFIG_SCSI_DEV_LIST \ 29405d8205SBin Meng {PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_INTEL_TCF_SATA} 30405d8205SBin Meng 31aada6276SBin Meng #define CONFIG_MMC 32aada6276SBin Meng #define CONFIG_SDHCI 33aada6276SBin Meng #define CONFIG_GENERIC_MMC 34aada6276SBin Meng #define CONFIG_MMC_SDMA 35aada6276SBin Meng 36fba02d69SBin Meng /* Environment configuration */ 37fba02d69SBin Meng #define CONFIG_ENV_SECT_SIZE 0x1000 38fba02d69SBin Meng #define CONFIG_ENV_OFFSET 0 39fba02d69SBin Meng 40405d8205SBin Meng #endif /* __CONFIG_H */ 41