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