efi-x86_app.h 324 B

1234567891011121314151617
  1. /* SPDX-License-Identifier: GPL-2.0+ */
  2. /*
  3. * Copyright (c) 2015 Google, Inc
  4. */
  5. #ifndef __CONFIG_H
  6. #define __CONFIG_H
  7. #include <configs/x86-common.h>
  8. #undef CONFIG_TPM_TIS_BASE_ADDRESS
  9. #define CONFIG_STD_DEVICES_SETTINGS "stdin=usbkbd,vga,serial\0" \
  10. "stdout=vga,serial\0" \
  11. "stderr=vga,serial\0"
  12. #endif