coreboot_defconfig 1.3 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758
  1. CONFIG_X86=y
  2. CONFIG_TEXT_BASE=0x1110000
  3. CONFIG_SYS_MALLOC_LEN=0x2000000
  4. CONFIG_NR_DRAM_BANKS=8
  5. CONFIG_ENV_SIZE=0x1000
  6. CONFIG_DEFAULT_DEVICE_TREE="coreboot"
  7. CONFIG_PRE_CON_BUF_ADDR=0x100000
  8. CONFIG_VENDOR_COREBOOT=y
  9. CONFIG_TARGET_COREBOOT=y
  10. CONFIG_FIT=y
  11. CONFIG_FIT_SIGNATURE=y
  12. CONFIG_BOOTSTD_FULL=y
  13. CONFIG_SYS_MONITOR_BASE=0x01110000
  14. CONFIG_SHOW_BOOT_PROGRESS=y
  15. CONFIG_USE_BOOTARGS=y
  16. CONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro"
  17. CONFIG_PRE_CONSOLE_BUFFER=y
  18. CONFIG_SYS_CONSOLE_INFO_QUIET=y
  19. CONFIG_LOG=y
  20. CONFIG_LOGF_LINE=y
  21. CONFIG_LOGF_FUNC=y
  22. CONFIG_DISPLAY_BOARDINFO_LATE=y
  23. CONFIG_LAST_STAGE_INIT=y
  24. CONFIG_PCI_INIT_R=y
  25. CONFIG_CMD_MMC=y
  26. CONFIG_CMD_PART=y
  27. CONFIG_CMD_USB=y
  28. # CONFIG_CMD_SETEXPR is not set
  29. CONFIG_CMD_DHCP=y
  30. CONFIG_BOOTP_BOOTFILESIZE=y
  31. CONFIG_CMD_PING=y
  32. CONFIG_CMD_TIME=y
  33. CONFIG_CMD_SOUND=y
  34. CONFIG_CMD_EXT2=y
  35. CONFIG_CMD_EXT4=y
  36. CONFIG_CMD_EXT4_WRITE=y
  37. CONFIG_CMD_FAT=y
  38. CONFIG_CMD_FS_GENERIC=y
  39. CONFIG_MAC_PARTITION=y
  40. CONFIG_ISO_PARTITION=y
  41. CONFIG_EFI_PARTITION=y
  42. CONFIG_ENV_OVERWRITE=y
  43. CONFIG_SYS_RELOC_GD_ENV_ADDR=y
  44. CONFIG_USE_BOOTFILE=y
  45. CONFIG_BOOTFILE="bzImage"
  46. CONFIG_TFTP_TSIZE=y
  47. CONFIG_USE_ROOTPATH=y
  48. CONFIG_REGMAP=y
  49. CONFIG_SYSCON=y
  50. # CONFIG_ACPIGEN is not set
  51. CONFIG_NVME_PCI=y
  52. # CONFIG_PCI_PNP is not set
  53. CONFIG_SOUND=y
  54. CONFIG_SOUND_I8254=y
  55. CONFIG_CONSOLE_SCROLL_LINES=5
  56. CONFIG_CMD_DHRYSTONE=y
  57. # CONFIG_GZIP is not set
  58. CONFIG_SMBIOS_PARSER=y