1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com>
4  */
5 
6 /*
7  * board/config.h - configuration options, board specific
8  */
9 
10 #ifndef __CONFIG_H
11 #define __CONFIG_H
12 
13 #define SPLASH_SETTINGS "splashsource=virtio_fs\0" \
14 	"splashimage=0x1000000\0"
15 
16 #include <configs/x86-common.h>
17 
18 #define CFG_STD_DEVICES_SETTINGS	"stdin=serial,i8042-kbd,usbkbd\0" \
19 					"stdout=serial,vidconsole\0" \
20 					"stderr=serial,vidconsole\0"
21 
22 /* ATA/IDE support */
23 
24 #endif	/* __CONFIG_H */
25