2018-05-06 21:58:06 +00:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0+ */
|
2015-03-02 19:40:53 +00:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2015 Google, Inc
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef _X86_CHROMEBOOK_H
|
|
|
|
#define _X86_CHROMEBOOK_H
|
|
|
|
|
|
|
|
#define CONFIG_X86_MRC_ADDR 0xfffa0000
|
2016-03-12 05:07:31 +00:00
|
|
|
#define CONFIG_X86_REFCODE_ADDR 0xffea0000
|
|
|
|
#define CONFIG_X86_REFCODE_RUN_ADDR 0
|
2015-03-02 19:40:53 +00:00
|
|
|
|
|
|
|
#define VIDEO_IO_OFFSET 0
|
|
|
|
#define CONFIG_X86EMU_RAW_IO
|
|
|
|
|
2016-10-09 11:14:20 +00:00
|
|
|
#define CONFIG_STD_DEVICES_SETTINGS "stdin=usbkbd,i8042-kbd,serial\0" \
|
|
|
|
"stdout=vidconsole,serial\0" \
|
|
|
|
"stderr=vidconsole,serial\0"
|
2015-03-02 19:40:53 +00:00
|
|
|
|
|
|
|
#endif
|