2018-05-06 21:58:06 +00:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0+ */
|
2016-03-16 13:44:43 +00:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2011 The Chromium OS Authors.
|
|
|
|
* (C) Copyright 2008
|
|
|
|
* Graeme Russ, graeme.russ@gmail.com.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/*
|
|
|
|
* board/config.h - configuration options, board specific
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef __CONFIG_H
|
|
|
|
#define __CONFIG_H
|
|
|
|
|
|
|
|
#include <configs/x86-common.h>
|
|
|
|
#include <configs/x86-chromebook.h>
|
|
|
|
|
|
|
|
#undef CONFIG_STD_DEVICES_SETTINGS
|
|
|
|
#define CONFIG_STD_DEVICES_SETTINGS "stdin=usbkbd,i8042-kbd,serial\0" \
|
|
|
|
"stdout=vidconsole,serial\0" \
|
|
|
|
"stderr=vidconsole,serial\0"
|
|
|
|
|
2019-05-08 03:41:16 +00:00
|
|
|
#define CONFIG_TPL_TEXT_BASE 0xfffd8000
|
|
|
|
|
2016-03-16 13:44:43 +00:00
|
|
|
#endif /* __CONFIG_H */
|