include/configs/coreboot.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 #define SPLASH_SETTINGS "splashsource=virtio_fs\0" \
  14         "splashimage=0x1000000\0"
  15
  16 #include <configs/x86-common.h>
  17
  18 #define CFG_STD_DEVICES_SETTINGS        "stdin=serial,i8042-kbd,usbkbd\0" \
  19                                         "stdout=serial,vidconsole\0" \
  20                                         "stderr=serial,vidconsole\0"
  21
  22 /* ATA/IDE support */
  23
  24 #endif  /* __CONFIG_H */