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