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