1 /* 2 * Copyright (C) 2017, Bin Meng <bmeng.cn@gmail.com> 3 * 4 * SPDX-License-Identifier: GPL-2.0+ 5 */ 6 7 #ifndef __CONFIG_H 8 #define __CONFIG_H 9 10 #include <configs/x86-common.h> 11 12 #define CONFIG_SYS_MONITOR_LEN (2 << 20) 13 14 #define CONFIG_STD_DEVICES_SETTINGS "stdin=usbkbd,serial\0" \ 15 "stdout=vidconsole,serial\0" \ 16 "stderr=vidconsole,serial\0" 17 18 /* Environment configuration */ 19 #define CONFIG_ENV_SECT_SIZE 0x10000 20 #define CONFIG_ENV_OFFSET 0x005f0000 21 22 #endif /* __CONFIG_H */ 23