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_TIS_BASE_ADDRESS
  15
  16 #undef CONFIG_SCSI_AHCI
  17 #undef CONFIG_USB_EHCI_PCI
  18
  19 #define CONFIG_STD_DEVICES_SETTINGS     "stdin=usbkbd,vga,serial\0" \
  20                                         "stdout=vga,serial\0" \
  21                                         "stderr=vga,serial\0"
  22
  23 #endif