include/configs/efi-x86_payload.h

   1 /* SPDX-License-Identifier: GPL-2.0+ */
   2 /*
   3  * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com>
   4  */
   5
   6 /*
   7  * board/config.h - configuration options, board specific
   8  */
   9
  10 #ifndef __CONFIG_H
  11 #define __CONFIG_H
  12
  13 #include <configs/x86-common.h>
  14
  15 #define CONFIG_SYS_MONITOR_LEN          (1 << 20)
  16
  17 #define CONFIG_STD_DEVICES_SETTINGS     "stdin=serial,i8042-kbd,usbkbd\0" \
  18                                         "stdout=serial,vidconsole\0" \
  19                                         "stderr=serial,vidconsole\0"
  20
  21 /* ATA/IDE support */
  22
  23 #endif  /* __CONFIG_H */