]>
Commit | Line | Data |
---|---|---|
1 | /* | |
2 | * Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com> | |
3 | * | |
4 | * SPDX-License-Identifier: GPL-2.0+ | |
5 | */ | |
6 | ||
7 | /* | |
8 | * board/config.h - configuration options, board specific | |
9 | */ | |
10 | ||
11 | #ifndef __CONFIG_H | |
12 | #define __CONFIG_H | |
13 | ||
14 | #include <configs/x86-common.h> | |
15 | ||
16 | #define CONFIG_SYS_MONITOR_LEN (1 << 20) | |
17 | ||
18 | #define CONFIG_STD_DEVICES_SETTINGS "stdin=serial,usbkbd\0" \ | |
19 | "stdout=serial,vidconsole\0" \ | |
20 | "stderr=serial,vidconsole\0" | |
21 | ||
22 | /* Environment configuration */ | |
23 | #define CONFIG_ENV_SECT_SIZE 0x1000 | |
24 | #define CONFIG_ENV_OFFSET 0x006ff000 | |
25 | ||
26 | #endif /* __CONFIG_H */ |