efi-x86.h 516 B

123456789101112131415161718192021222324252627
  1. /*
  2. * Copyright (c) 2015 Google, Inc
  3. *
  4. * SPDX-License-Identifier: GPL-2.0+
  5. */
  6. #ifndef __CONFIG_H
  7. #define __CONFIG_H
  8. #include <configs/x86-common.h>
  9. #undef CONFIG_CMD_SF_TEST
  10. #undef CONFIG_TPM_TIS_BASE_ADDRESS
  11. #undef CONFIG_ENV_IS_IN_SPI_FLASH
  12. #define CONFIG_ENV_IS_NOWHERE
  13. #undef CONFIG_SCSI_AHCI
  14. #undef CONFIG_SCSI
  15. #undef CONFIG_INTEL_ICH6_GPIO
  16. #undef CONFIG_USB_EHCI_PCI
  17. #define CONFIG_STD_DEVICES_SETTINGS "stdin=usbkbd,vga,serial\0" \
  18. "stdout=vga,serial\0" \
  19. "stderr=vga,serial\0"
  20. #endif