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 CONFIG_SYS_MONITOR_LEN          (1 << 20)
  19
  20 #define CONFIG_STD_DEVICES_SETTINGS     "stdin=serial,i8042-kbd,usbkbd\0" \
  21                                         "stdout=serial,vidconsole\0" \
  22                                         "stderr=serial,vidconsole\0"
  23
  24 /* ATA/IDE support */
  25 #define CONFIG_SYS_IDE_MAXBUS           2
  26 #define CONFIG_SYS_IDE_MAXDEVICE        4
  27 #define CONFIG_SYS_ATA_BASE_ADDR        0
  28 #define CONFIG_SYS_ATA_DATA_OFFSET      0
  29 #define CONFIG_SYS_ATA_REG_OFFSET       0
  30 #define CONFIG_SYS_ATA_ALT_OFFSET       0
  31 #define CONFIG_SYS_ATA_IDE0_OFFSET      0x1f0
  32 #define CONFIG_SYS_ATA_IDE1_OFFSET      0x170
  33 #define CONFIG_ATAPI
  34
  35 #endif  /* __CONFIG_H */