blob: ee038d83bc05423544febf8fbccd11d02990ad78 [file] [log] [blame]
Tom Rini10e47792018-05-06 17:58:06 -04001/* SPDX-License-Identifier: GPL-2.0+ */
George McCollisteraedc33d2016-06-21 12:07:33 -05002/*
3 * Copyright (C) 2015 Google, Inc
George McCollisteraedc33d2016-06-21 12:07:33 -05004 */
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
Bin Meng79012bc2016-10-09 04:14:13 -070015#define CONFIG_STD_DEVICES_SETTINGS "stdin=serial,usbkbd\0" \
16 "stdout=serial,vidconsole\0" \
17 "stderr=serial,vidconsole\0"
George McCollisteraedc33d2016-06-21 12:07:33 -050018
George McCollisteraedc33d2016-06-21 12:07:33 -050019#define VIDEO_IO_OFFSET 0
20#define CONFIG_X86EMU_RAW_IO
21
George McCollisteraedc33d2016-06-21 12:07:33 -050022#endif /* __CONFIG_H */