coreboot.h 787 B

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