1/* 2 * Copyright (c) 2015 Google, Inc 3 * 4 * SPDX-License-Identifier: GPL-2.0+ 5 */ 6 7#ifndef __CONFIG_H 8#define __CONFIG_H 9 10#include <configs/x86-common.h> 11 12#undef CONFIG_CMD_SF_TEST 13 14#undef CONFIG_TPM_TIS_BASE_ADDRESS 15 16#undef CONFIG_CMD_IMLS 17 18#undef CONFIG_SYS_NS16550 19#undef CONFIG_X86_SERIAL 20#undef CONFIG_ENV_IS_IN_SPI_FLASH 21#define CONFIG_ENV_IS_NOWHERE 22#undef CONFIG_VIDEO 23#undef CONFIG_CFB_CONSOLE 24#undef CONFIG_SCSI_AHCI 25#undef CONFIG_CMD_SCSI 26#undef CONFIG_INTEL_ICH6_GPIO 27 28#define CONFIG_STD_DEVICES_SETTINGS "stdin=usbkbd,vga,serial\0" \ 29 "stdout=vga,serial\0" \ 30 "stderr=vga,serial\0" 31 32#endif 33