1 /*
2  * Copyright (c) 2011 The Chromium OS Authors.
3  * (C) Copyright 2008
4  * Graeme Russ, graeme.russ@gmail.com.
5  *
6  * SPDX-License-Identifier:	GPL-2.0+
7  */
8 
9 /*
10  * board/config.h - configuration options, board specific
11  */
12 
13 #ifndef __CONFIG_H
14 #define __CONFIG_H
15 
16 #include <configs/x86-common.h>
17 #include <configs/x86-chromebook.h>
18 
19 #undef CONFIG_STD_DEVICES_SETTINGS
20 #define CONFIG_STD_DEVICES_SETTINGS     "stdin=usbkbd,i8042-kbd,serial\0" \
21 					"stdout=vidconsole,serial\0" \
22 					"stderr=vidconsole,serial\0"
23 
24 #define CONFIG_ENV_SECT_SIZE		0x1000
25 #define CONFIG_ENV_OFFSET		0x003f8000
26 
27 #endif	/* __CONFIG_H */
28