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 18405d8205SBin Meng #define CONFIG_SMSC_LPC47M 19405d8205SBin Meng 2060fe1018SBin Meng #define CONFIG_STD_DEVICES_SETTINGS "stdin=serial,i8042-kbd,usbkbd\0" \ 21*fcda8c38SBin Meng "stdout=serial,vidconsole\0" \ 22*fcda8c38SBin Meng "stderr=serial,vidconsole\0" 23405d8205SBin Meng 24fba02d69SBin Meng /* Environment configuration */ 25fba02d69SBin Meng #define CONFIG_ENV_SECT_SIZE 0x1000 26fba02d69SBin Meng #define CONFIG_ENV_OFFSET 0 27fba02d69SBin Meng 28405d8205SBin Meng #endif /* __CONFIG_H */ 29