19b911bedSBin Meng /* 29b911bedSBin Meng * Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com> 39b911bedSBin Meng * 49b911bedSBin Meng * SPDX-License-Identifier: GPL-2.0+ 59b911bedSBin Meng */ 69b911bedSBin Meng 79b911bedSBin Meng /* 89b911bedSBin Meng * board/config.h - configuration options, board specific 99b911bedSBin Meng */ 109b911bedSBin Meng 119b911bedSBin Meng #ifndef __CONFIG_H 129b911bedSBin Meng #define __CONFIG_H 139b911bedSBin Meng 149b911bedSBin Meng #include <configs/x86-common.h> 159b911bedSBin Meng 169b911bedSBin Meng #define CONFIG_SYS_MONITOR_LEN (1 << 20) 179b911bedSBin Meng 18*fcda8c38SBin Meng #define CONFIG_STD_DEVICES_SETTINGS "stdin=serial,usbkbd\0" \ 19*fcda8c38SBin Meng "stdout=serial,vidconsole\0" \ 20*fcda8c38SBin Meng "stderr=serial,vidconsole\0" 219b911bedSBin Meng 229b911bedSBin Meng /* Environment configuration */ 239b911bedSBin Meng #define CONFIG_ENV_SECT_SIZE 0x1000 249b911bedSBin Meng #define CONFIG_ENV_OFFSET 0x006ff000 259b911bedSBin Meng 269b911bedSBin Meng #endif /* __CONFIG_H */ 27