include/configs/efi-x86.h

   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