132151d40SBin Meng /* SPDX-License-Identifier: GPL-2.0+ */
232151d40SBin Meng /*
332151d40SBin Meng  * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com>
432151d40SBin Meng  */
532151d40SBin Meng 
632151d40SBin Meng /*
732151d40SBin Meng  * board/config.h - configuration options, board specific
832151d40SBin Meng  */
932151d40SBin Meng 
1032151d40SBin Meng #ifndef __CONFIG_H
1132151d40SBin Meng #define __CONFIG_H
1232151d40SBin Meng 
1332151d40SBin Meng #include <configs/x86-common.h>
1432151d40SBin Meng 
1532151d40SBin Meng #define CONFIG_SYS_MONITOR_LEN		(1 << 20)
1632151d40SBin Meng 
17*1ab2c010SBin Meng #define CONFIG_STD_DEVICES_SETTINGS	"stdin=serial,i8042-kbd,usbkbd\0" \
1832151d40SBin Meng 					"stdout=serial,vidconsole\0" \
1932151d40SBin Meng 					"stderr=serial,vidconsole\0"
2032151d40SBin Meng 
2132151d40SBin Meng /* ATA/IDE support */
2232151d40SBin Meng #define CONFIG_SYS_IDE_MAXBUS		2
2332151d40SBin Meng #define CONFIG_SYS_IDE_MAXDEVICE	4
2432151d40SBin Meng #define CONFIG_SYS_ATA_BASE_ADDR	0
2532151d40SBin Meng #define CONFIG_SYS_ATA_DATA_OFFSET	0
2632151d40SBin Meng #define CONFIG_SYS_ATA_REG_OFFSET	0
2732151d40SBin Meng #define CONFIG_SYS_ATA_ALT_OFFSET	0
2832151d40SBin Meng #define CONFIG_SYS_ATA_IDE0_OFFSET	0x1f0
2932151d40SBin Meng #define CONFIG_SYS_ATA_IDE1_OFFSET	0x170
3032151d40SBin Meng #define CONFIG_ATAPI
3132151d40SBin Meng 
3232151d40SBin Meng #endif	/* __CONFIG_H */
33