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