1*83d290c5STom Rini /* SPDX-License-Identifier: GPL-2.0+ */ 2405d8205SBin Meng /* 3405d8205SBin Meng * Copyright (C) 2014, Bin Meng <bmeng.cn@gmail.com> 4405d8205SBin Meng */ 5405d8205SBin Meng 6405d8205SBin Meng /* 7405d8205SBin Meng * board/config.h - configuration options, board specific 8405d8205SBin Meng */ 9405d8205SBin Meng 10405d8205SBin Meng #ifndef __CONFIG_H 11405d8205SBin Meng #define __CONFIG_H 12405d8205SBin Meng 13405d8205SBin Meng #include <configs/x86-common.h> 14405d8205SBin Meng 15405d8205SBin Meng #define CONFIG_SYS_MONITOR_LEN (1 << 20) 16405d8205SBin Meng 17405d8205SBin Meng #define CONFIG_SMSC_LPC47M 18405d8205SBin Meng 1960fe1018SBin Meng #define CONFIG_STD_DEVICES_SETTINGS "stdin=serial,i8042-kbd,usbkbd\0" \ 20fcda8c38SBin Meng "stdout=serial,vidconsole\0" \ 21fcda8c38SBin Meng "stderr=serial,vidconsole\0" 22405d8205SBin Meng 23fba02d69SBin Meng /* Environment configuration */ 24fba02d69SBin Meng #define CONFIG_ENV_SECT_SIZE 0x1000 25fba02d69SBin Meng #define CONFIG_ENV_OFFSET 0 26fba02d69SBin Meng 27405d8205SBin Meng #endif /* __CONFIG_H */ 28