]>
Commit | Line | Data |
---|---|---|
83d290c5 | 1 | /* SPDX-License-Identifier: GPL-2.0+ */ |
405d8205 BM |
2 | /* |
3 | * Copyright (C) 2014, Bin Meng <[email protected]> | |
405d8205 BM |
4 | */ |
5 | ||
6 | /* | |
7 | * board/config.h - configuration options, board specific | |
8 | */ | |
9 | ||
10 | #ifndef __CONFIG_H | |
11 | #define __CONFIG_H | |
12 | ||
13 | #include <configs/x86-common.h> | |
14 | ||
405d8205 BM |
15 | #define CONFIG_SMSC_LPC47M |
16 | ||
60fe1018 | 17 | #define CONFIG_STD_DEVICES_SETTINGS "stdin=serial,i8042-kbd,usbkbd\0" \ |
fcda8c38 BM |
18 | "stdout=serial,vidconsole\0" \ |
19 | "stderr=serial,vidconsole\0" | |
405d8205 | 20 | |
fba02d69 | 21 | /* Environment configuration */ |
fba02d69 | 22 | |
405d8205 | 23 | #endif /* __CONFIG_H */ |