1/* SPDX-License-Identifier: GPL-2.0+ */ 2/* 3 * Copyright (c) 2015 Google, Inc 4 */ 5 6#ifndef _X86_CHROMEBOOK_H 7#define _X86_CHROMEBOOK_H 8 9#define CONFIG_SYS_MONITOR_LEN (1 << 20) 10 11#define CONFIG_X86_MRC_ADDR 0xfffa0000 12#define CONFIG_X86_REFCODE_ADDR 0xffea0000 13#define CONFIG_X86_REFCODE_RUN_ADDR 0 14 15#define CONFIG_PCI_MEM_BUS 0xe0000000 16#define CONFIG_PCI_MEM_PHYS CONFIG_PCI_MEM_BUS 17#define CONFIG_PCI_MEM_SIZE 0x10000000 18 19#define CONFIG_PCI_PREF_BUS 0xd0000000 20#define CONFIG_PCI_PREF_PHYS CONFIG_PCI_PREF_BUS 21#define CONFIG_PCI_PREF_SIZE 0x10000000 22 23#define CONFIG_PCI_IO_BUS 0x1000 24#define CONFIG_PCI_IO_PHYS CONFIG_PCI_IO_BUS 25#define CONFIG_PCI_IO_SIZE 0xefff 26 27#define CONFIG_BIOSEMU 28#define VIDEO_IO_OFFSET 0 29#define CONFIG_X86EMU_RAW_IO 30 31#define CONFIG_STD_DEVICES_SETTINGS "stdin=usbkbd,i8042-kbd,serial\0" \ 32 "stdout=vidconsole,serial\0" \ 33 "stderr=vidconsole,serial\0" 34 35#endif 36