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 15 #undef CONFIG_TPM_TIS_LPC 16 #undef CONFIG_TPM_TIS_BASE_ADDRESS 17 18 #undef CONFIG_CMD_IMLS 19 20 #undef CONFIG_SYS_NS16550 21 #undef CONFIG_X86_SERIAL 22 #undef CONFIG_ENV_IS_IN_SPI_FLASH 23 #define CONFIG_ENV_IS_NOWHERE 24 #undef CONFIG_VIDEO 25 #undef CONFIG_CFB_CONSOLE 26 #undef CONFIG_SCSI_AHCI 27 #undef CONFIG_CMD_SCSI 28 #undef CONFIG_INTEL_ICH6_GPIO 29 30 #define CONFIG_STD_DEVICES_SETTINGS "stdin=usbkbd,vga,serial\0" \ 31 "stdout=vga,serial\0" \ 32 "stderr=vga,serial\0" 33 34 #endif 35