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_TPM_TIS_BASE_ADDRESS
  13
  14 #undef CONFIG_SCSI_AHCI
  15
  16 #define CONFIG_STD_DEVICES_SETTINGS     "stdin=usbkbd,vga,serial\0" \
  17                                         "stdout=vga,serial\0" \
  18                                         "stderr=vga,serial\0"
  19
  20 #endif