API tools faq
paste
Guest User

Coreboot Config 07-09-2016 Alix 2D13

a guest
Sep 7th, 2016
71
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 17.94 KB | None | 0 0
raw download clone embed print report
  1. #
  2. # Automatically generated file; DO NOT EDIT.
  3. # coreboot configuration
  4. #
  5.  
  6. #
  7. # General setup
  8. #
  9. CONFIG_LOCALVERSION="20160709"
  10. CONFIG_CBFS_PREFIX="fallback"
  11. CONFIG_COMPILER_GCC=y
  12. # CONFIG_COMPILER_LLVM_CLANG is not set
  13. # CONFIG_ANY_TOOLCHAIN is not set
  14. # CONFIG_CCACHE is not set
  15. # CONFIG_FMD_GENPARSER is not set
  16. # CONFIG_SCONFIG_GENPARSER is not set
  17. # CONFIG_UNCOMPRESSED_RAMSTAGE is not set
  18. CONFIG_COMPRESS_RAMSTAGE=y
  19. CONFIG_INCLUDE_CONFIG_FILE=y
  20. # CONFIG_NO_XIP_EARLY_STAGES is not set
  21. # CONFIG_EARLY_CBMEM_INIT is not set
  22. # CONFIG_EARLY_CBMEM_LIST is not set
  23. # CONFIG_COLLECT_TIMESTAMPS is not set
  24. # CONFIG_USE_BLOBS is not set
  25. # CONFIG_COVERAGE is not set
  26. # CONFIG_RELOCATABLE_MODULES is not set
  27. # CONFIG_NO_STAGE_CACHE is not set
  28. CONFIG_BOOTBLOCK_SIMPLE=y
  29. # CONFIG_BOOTBLOCK_NORMAL is not set
  30. CONFIG_BOOTBLOCK_CUSTOM=y
  31. CONFIG_BOOTBLOCK_SOURCE="bootblock_simple.c"
  32. # CONFIG_C_ENVIRONMENT_BOOTBLOCK is not set
  33. # CONFIG_UPDATE_IMAGE is not set
  34. # CONFIG_GENERIC_GPIO_LIB is not set
  35. # CONFIG_BOARD_ID_AUTO is not set
  36. # CONFIG_BOARD_ID_MANUAL is not set
  37. # CONFIG_RAM_CODE_SUPPORT is not set
  38. # CONFIG_BOOTSPLASH_IMAGE is not set
  39.  
  40. #
  41. # Mainboard
  42. #
  43. # CONFIG_VENDOR_A_TREND is not set
  44. # CONFIG_VENDOR_AAEON is not set
  45. # CONFIG_VENDOR_ABIT is not set
  46. # CONFIG_VENDOR_ADI is not set
  47. # CONFIG_VENDOR_ADLINK is not set
  48. # CONFIG_VENDOR_ADVANSUS is not set
  49. # CONFIG_VENDOR_AMD is not set
  50. # CONFIG_VENDOR_AOPEN is not set
  51. # CONFIG_VENDOR_APPLE is not set
  52. # CONFIG_VENDOR_ARTECGROUP is not set
  53. # CONFIG_VENDOR_ASROCK is not set
  54. # CONFIG_VENDOR_ASUS is not set
  55. # CONFIG_VENDOR_AVALUE is not set
  56. # CONFIG_VENDOR_AZZA is not set
  57. # CONFIG_VENDOR_BACHMANN is not set
  58. # CONFIG_VENDOR_BAP is not set
  59. # CONFIG_VENDOR_BCOM is not set
  60. # CONFIG_VENDOR_BIFFEROS is not set
  61. # CONFIG_VENDOR_BIOSTAR is not set
  62. # CONFIG_VENDOR_BROADCOM is not set
  63. # CONFIG_VENDOR_COMPAQ is not set
  64. # CONFIG_VENDOR_CUBIETECH is not set
  65. # CONFIG_VENDOR_DIGITALLOGIC is not set
  66. # CONFIG_VENDOR_DMP is not set
  67. # CONFIG_VENDOR_ECS is not set
  68. # CONFIG_VENDOR_EMULATION is not set
  69. # CONFIG_VENDOR_ESD is not set
  70. # CONFIG_VENDOR_GETAC is not set
  71. # CONFIG_VENDOR_GIGABYTE is not set
  72. # CONFIG_VENDOR_GIZMOSPHERE is not set
  73. # CONFIG_VENDOR_GOOGLE is not set
  74. # CONFIG_VENDOR_HP is not set
  75. # CONFIG_VENDOR_IBASE is not set
  76. # CONFIG_VENDOR_IEI is not set
  77. # CONFIG_VENDOR_INTEL is not set
  78. # CONFIG_VENDOR_IWAVE is not set
  79. # CONFIG_VENDOR_IWILL is not set
  80. # CONFIG_VENDOR_JETWAY is not set
  81. # CONFIG_VENDOR_KONTRON is not set
  82. # CONFIG_VENDOR_LANNER is not set
  83. # CONFIG_VENDOR_LENOVO is not set
  84. # CONFIG_VENDOR_LINUTOP is not set
  85. # CONFIG_VENDOR_LIPPERT is not set
  86. # CONFIG_VENDOR_MITAC is not set
  87. # CONFIG_VENDOR_MSI is not set
  88. # CONFIG_VENDOR_NEC is not set
  89. # CONFIG_VENDOR_NOKIA is not set
  90. # CONFIG_VENDOR_NVIDIA is not set
  91. # CONFIG_VENDOR_PACKARDBELL is not set
  92. CONFIG_VENDOR_PCENGINES=y
  93. # CONFIG_VENDOR_PURISM is not set
  94. # CONFIG_VENDOR_RCA is not set
  95. # CONFIG_VENDOR_RODA is not set
  96. # CONFIG_VENDOR_SAMSUNG is not set
  97. # CONFIG_VENDOR_SIEMENS is not set
  98. # CONFIG_VENDOR_SOYO is not set
  99. # CONFIG_VENDOR_SUNW is not set
  100. # CONFIG_VENDOR_SUPERMICRO is not set
  101. # CONFIG_VENDOR_TECHNEXION is not set
  102. # CONFIG_VENDOR_THOMSON is not set
  103. # CONFIG_VENDOR_TI is not set
  104. # CONFIG_VENDOR_TRAVERSE is not set
  105. # CONFIG_VENDOR_TYAN is not set
  106. # CONFIG_VENDOR_VIA is not set
  107. # CONFIG_VENDOR_WINENT is not set
  108. # CONFIG_VENDOR_WYSE is not set
  109. CONFIG_BOARD_SPECIFIC_OPTIONS=y
  110. CONFIG_MAINBOARD_DIR="pcengines/alix2d"
  111. CONFIG_MAINBOARD_PART_NUMBER="ALIX.2D"
  112. CONFIG_IRQ_SLOT_COUNT=7
  113. CONFIG_MAINBOARD_VENDOR="PC Engines"
  114. CONFIG_MAX_CPUS=1
  115. CONFIG_CACHE_ROM_SIZE_OVERRIDE=0
  116. CONFIG_CBFS_SIZE=0x80000
  117. CONFIG_UART_FOR_CONSOLE=0
  118. CONFIG_PAYLOAD_CONFIGFILE=""
  119. # CONFIG_ONBOARD_VGA_IS_PRIMARY is not set
  120. # CONFIG_VGA_BIOS is not set
  121. CONFIG_MAINBOARD_SERIAL_NUMBER="123456789"
  122. CONFIG_DCACHE_RAM_BASE=0xc8000
  123. CONFIG_DCACHE_RAM_SIZE=0x8000
  124. CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="PC Engines"
  125. CONFIG_POST_IO=y
  126. CONFIG_MAX_REBOOT_CNT=3
  127. CONFIG_ID_SECTION_OFFSET=0x80
  128. CONFIG_POST_DEVICE=y
  129. # CONFIG_DRIVERS_PS2_KEYBOARD is not set
  130. CONFIG_TTYS0_LCS=3
  131. # CONFIG_CONSOLE_POST is not set
  132. CONFIG_DRIVERS_UART_8250IO=y
  133. CONFIG_SEABIOS_PS2_TIMEOUT=0
  134. CONFIG_CPU_ADDR_BITS=36
  135. CONFIG_DEFAULT_CONSOLE_LOGLEVEL=8
  136. CONFIG_MAINBOARD_VERSION="1.0"
  137. # CONFIG_BOARD_PCENGINES_ALIX1C is not set
  138. # CONFIG_BOARD_PCENGINES_ALIX2C is not set
  139. CONFIG_BOARD_PCENGINES_ALIX2D=y
  140. # CONFIG_BOARD_PCENGINES_ALIX6 is not set
  141. # CONFIG_BOARD_PCENGINES_APU1 is not set
  142. # CONFIG_NO_POST is not set
  143. CONFIG_BOARD_ROMSIZE_KB_512=y
  144. # CONFIG_COREBOOT_ROMSIZE_KB_64 is not set
  145. # CONFIG_COREBOOT_ROMSIZE_KB_128 is not set
  146. # CONFIG_COREBOOT_ROMSIZE_KB_256 is not set
  147. CONFIG_COREBOOT_ROMSIZE_KB_512=y
  148. # CONFIG_COREBOOT_ROMSIZE_KB_1024 is not set
  149. # CONFIG_COREBOOT_ROMSIZE_KB_2048 is not set
  150. # CONFIG_COREBOOT_ROMSIZE_KB_4096 is not set
  151. # CONFIG_COREBOOT_ROMSIZE_KB_8192 is not set
  152. # CONFIG_COREBOOT_ROMSIZE_KB_12288 is not set
  153. # CONFIG_COREBOOT_ROMSIZE_KB_16384 is not set
  154. # CONFIG_COREBOOT_ROMSIZE_KB_32768 is not set
  155. # CONFIG_COREBOOT_ROMSIZE_KB_65536 is not set
  156. CONFIG_COREBOOT_ROMSIZE_KB=512
  157. CONFIG_ROM_SIZE=0x80000
  158. # CONFIG_ENABLE_POWER_BUTTON is not set
  159. CONFIG_DEVICETREE="devicetree.cb"
  160. CONFIG_FMDFILE=""
  161. # CONFIG_MAINBOARD_HAS_TPM2 is not set
  162. # CONFIG_SYSTEM_TYPE_LAPTOP is not set
  163. # CONFIG_CBFS_AUTOGEN_ATTRIBUTES is not set
  164.  
  165. #
  166. # Chipset
  167. #
  168.  
  169. #
  170. # SoC
  171. #
  172. # CONFIG_SOC_BROADCOM_CYGNUS is not set
  173. CONFIG_CPU_SPECIFIC_OPTIONS=y
  174. CONFIG_DCACHE_BSP_STACK_SIZE=0x2000
  175. CONFIG_C_ENV_BOOTBLOCK_SIZE=0x10000
  176. CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
  177. CONFIG_ROMSTAGE_ADDR=0x2000000
  178. CONFIG_VERSTAGE_ADDR=0x2000000
  179. CONFIG_TTYS0_BASE=0x3f8
  180. CONFIG_RAMTOP=0x200000
  181. CONFIG_HEAP_SIZE=0x4000
  182. CONFIG_CONSOLE_CBMEM=y
  183. CONFIG_UART_PCI_ADDR=0
  184. # CONFIG_SOC_MARVELL_ARMADA38X is not set
  185. # CONFIG_SOC_MARVELL_BG4CD is not set
  186. # CONFIG_SOC_MEDIATEK_MT8173 is not set
  187. # CONFIG_SOC_NVIDIA_TEGRA124 is not set
  188. # CONFIG_SOC_NVIDIA_TEGRA210 is not set
  189. # CONFIG_SOC_QC_IPQ40XX is not set
  190. # CONFIG_SOC_QC_IPQ806X is not set
  191. # CONFIG_SOC_ROCKCHIP_RK3288 is not set
  192. # CONFIG_SOC_ROCKCHIP_RK3399 is not set
  193. # CONFIG_CPU_SAMSUNG_EXYNOS5250 is not set
  194. # CONFIG_CPU_SAMSUNG_EXYNOS5420 is not set
  195. # CONFIG_SOC_UCB_RISCV is not set
  196.  
  197. #
  198. # CPU
  199. #
  200. # CONFIG_CPU_ALLWINNER_A10 is not set
  201. CONFIG_DCACHE_BSP_STACK_SLUSH=0x1000
  202. CONFIG_DCACHE_AP_STACK_SIZE=0x400
  203. CONFIG_XIP_ROM_SIZE=0x10000
  204. CONFIG_NUM_IPI_STARTS=2
  205. CONFIG_GEODE_VSA=y
  206. CONFIG_GEODE_VSA_FILE=y
  207. CONFIG_VSA_FILENAME="3rdparty/blobs/cpu/amd/geode_lx/gpl_vsa_lx_102.bin"
  208. CONFIG_CPU_AMD_GEODE_LX=y
  209. # CONFIG_CPU_AMD_AGESA is not set
  210. # CONFIG_CPU_AMD_PI is not set
  211. # CONFIG_CPU_ARMLTD_CORTEX_A9 is not set
  212. # CONFIG_SSE2 is not set
  213. # CONFIG_CPU_INTEL_FIRMWARE_INTERFACE_TABLE is not set
  214. # CONFIG_CPU_INTEL_TURBO_NOT_PACKAGE_SCOPED is not set
  215. # CONFIG_CPU_TI_AM335X is not set
  216. # CONFIG_PARALLEL_CPU_INIT is not set
  217. # CONFIG_PARALLEL_MP is not set
  218. # CONFIG_UDELAY_IO is not set
  219. # CONFIG_UDELAY_LAPIC is not set
  220. CONFIG_UDELAY_TSC=y
  221. # CONFIG_TSC_CONSTANT_RATE is not set
  222. CONFIG_TSC_MONOTONIC_TIMER=y
  223. # CONFIG_UDELAY_TIMER2 is not set
  224. # CONFIG_TSC_SYNC_LFENCE is not set
  225. # CONFIG_TSC_SYNC_MFENCE is not set
  226. # CONFIG_NO_FIXED_XIP_ROM_SIZE is not set
  227. CONFIG_LOGICAL_CPUS=y
  228. # CONFIG_SMM_TSEG is not set
  229. # CONFIG_SMM_LAPIC_REMAP_MITIGATION is not set
  230. # CONFIG_SERIALIZED_SMM_INITIALIZATION is not set
  231. # CONFIG_X86_AMD_FIXED_MTRRS is not set
  232. # CONFIG_PLATFORM_USES_FSP1_0 is not set
  233. # CONFIG_MIRROR_PAYLOAD_TO_RAM_BEFORE_LOADING is not set
  234. # CONFIG_SOC_SETS_MSRS is not set
  235. CONFIG_CACHE_AS_RAM=y
  236. # CONFIG_SMP is not set
  237. CONFIG_AP_SIPI_VECTOR=0xfffff000
  238. # CONFIG_SUPPORT_CPU_UCODE_IN_CBFS is not set
  239. # CONFIG_USES_MICROCODE_HEADER_FILES is not set
  240. # CONFIG_CPU_MICROCODE_CBFS_GENERATE is not set
  241. # CONFIG_CPU_MICROCODE_CBFS_EXTERNAL_HEADER is not set
  242. CONFIG_CPU_MICROCODE_CBFS_NONE=y
  243.  
  244. #
  245. # Northbridge
  246. #
  247. # CONFIG_NORTHBRIDGE_AMD_AGESA is not set
  248. # CONFIG_AMD_NB_CIMX is not set
  249. # CONFIG_NORTHBRIDGE_AMD_CIMX_RD890 is not set
  250. CONFIG_VIDEO_MB=8
  251. CONFIG_NORTHBRIDGE_AMD_LX=y
  252. # CONFIG_NORTHBRIDGE_AMD_PI is not set
  253. CONFIG_RAMBASE=0x100000
  254. # CONFIG_NORTHBRIDGE_INTEL_COMMON_MRC_CACHE is not set
  255. CONFIG_HPET_ADDRESS=0xfed00000
  256. CONFIG_MAX_PIRQ_LINKS=4
  257.  
  258. #
  259. # Southbridge
  260. #
  261. # CONFIG_AMD_SB_CIMX is not set
  262. # CONFIG_SOUTHBRIDGE_AMD_CIMX_SB800 is not set
  263. # CONFIG_SOUTHBRIDGE_AMD_CIMX_SB900 is not set
  264. CONFIG_SOUTHBRIDGE_AMD_CS5536=y
  265. # CONFIG_SOUTHBRIDGE_INTEL_COMMON is not set
  266. # CONFIG_SOUTHBRIDGE_INTEL_COMMON_GPIO is not set
  267.  
  268. #
  269. # Super I/O
  270. #
  271.  
  272. #
  273. # Embedded Controllers
  274. #
  275. CONFIG_VBOOT_VBNV_OFFSET=0x26
  276. # CONFIG_VBOOT_VBNV_CMOS is not set
  277. # CONFIG_VBOOT_VBNV_EC is not set
  278. # CONFIG_MAINBOARD_HAS_CHROMEOS is not set
  279. # CONFIG_UEFI_2_4_BINDING is not set
  280. # CONFIG_UDK_2015_BINDING is not set
  281. # CONFIG_USE_SIEMENS_HWILIB is not set
  282. # CONFIG_ARCH_ARM is not set
  283. # CONFIG_ARCH_BOOTBLOCK_ARM is not set
  284. # CONFIG_ARCH_VERSTAGE_ARM is not set
  285. # CONFIG_ARCH_ROMSTAGE_ARM is not set
  286. # CONFIG_ARCH_RAMSTAGE_ARM is not set
  287. # CONFIG_ARCH_BOOTBLOCK_ARMV4 is not set
  288. # CONFIG_ARCH_VERSTAGE_ARMV4 is not set
  289. # CONFIG_ARCH_ROMSTAGE_ARMV4 is not set
  290. # CONFIG_ARCH_RAMSTAGE_ARMV4 is not set
  291. # CONFIG_ARCH_BOOTBLOCK_ARMV7 is not set
  292. # CONFIG_ARCH_VERSTAGE_ARMV7 is not set
  293. # CONFIG_ARCH_ROMSTAGE_ARMV7 is not set
  294. # CONFIG_ARCH_RAMSTAGE_ARMV7 is not set
  295. # CONFIG_ARCH_BOOTBLOCK_ARMV7_M is not set
  296. # CONFIG_ARCH_VERSTAGE_ARMV7_M is not set
  297. # CONFIG_ARM_LPAE is not set
  298. # CONFIG_ARCH_ARM64 is not set
  299. # CONFIG_ARCH_BOOTBLOCK_ARM64 is not set
  300. # CONFIG_ARCH_VERSTAGE_ARM64 is not set
  301. # CONFIG_ARCH_ROMSTAGE_ARM64 is not set
  302. # CONFIG_ARCH_RAMSTAGE_ARM64 is not set
  303. # CONFIG_ARCH_BOOTBLOCK_ARMV8_64 is not set
  304. # CONFIG_ARCH_VERSTAGE_ARMV8_64 is not set
  305. # CONFIG_ARCH_ROMSTAGE_ARMV8_64 is not set
  306. # CONFIG_ARCH_RAMSTAGE_ARMV8_64 is not set
  307. # CONFIG_ARM64_A53_ERRATUM_843419 is not set
  308. # CONFIG_ARCH_MIPS is not set
  309. # CONFIG_ARCH_BOOTBLOCK_MIPS is not set
  310. # CONFIG_ARCH_VERSTAGE_MIPS is not set
  311. # CONFIG_ARCH_ROMSTAGE_MIPS is not set
  312. # CONFIG_ARCH_RAMSTAGE_MIPS is not set
  313. # CONFIG_ARCH_POWER8 is not set
  314. # CONFIG_ARCH_BOOTBLOCK_POWER8 is not set
  315. # CONFIG_ARCH_VERSTAGE_POWER8 is not set
  316. # CONFIG_ARCH_ROMSTAGE_POWER8 is not set
  317. # CONFIG_ARCH_RAMSTAGE_POWER8 is not set
  318. # CONFIG_ARCH_RISCV is not set
  319. # CONFIG_ARCH_BOOTBLOCK_RISCV is not set
  320. # CONFIG_ARCH_VERSTAGE_RISCV is not set
  321. # CONFIG_ARCH_ROMSTAGE_RISCV is not set
  322. # CONFIG_ARCH_RAMSTAGE_RISCV is not set
  323. CONFIG_ARCH_X86=y
  324. CONFIG_ARCH_BOOTBLOCK_X86_32=y
  325. CONFIG_ARCH_VERSTAGE_X86_32=y
  326. CONFIG_ARCH_ROMSTAGE_X86_32=y
  327. CONFIG_ARCH_RAMSTAGE_X86_32=y
  328. # CONFIG_ARCH_BOOTBLOCK_X86_64 is not set
  329. # CONFIG_ARCH_VERSTAGE_X86_64 is not set
  330. # CONFIG_ARCH_ROMSTAGE_X86_64 is not set
  331. # CONFIG_ARCH_RAMSTAGE_X86_64 is not set
  332. # CONFIG_USE_MARCH_586 is not set
  333. # CONFIG_SIPI_VECTOR_IN_ROM is not set
  334. # CONFIG_ROMCC is not set
  335. CONFIG_LATE_CBMEM_INIT=y
  336. CONFIG_PC80_SYSTEM=y
  337. # CONFIG_BOOTBLOCK_DEBUG_SPINLOOP is not set
  338. # CONFIG_BOOTBLOCK_SAVE_BIST_AND_TIMESTAMP is not set
  339. # CONFIG_HAVE_CMOS_DEFAULT is not set
  340. CONFIG_IOAPIC_INTERRUPTS_ON_FSB=y
  341. # CONFIG_IOAPIC_INTERRUPTS_ON_APIC_SERIAL_BUS is not set
  342. # CONFIG_POSTCAR_STAGE is not set
  343. # CONFIG_VERSTAGE_DEBUG_SPINLOOP is not set
  344. # CONFIG_ROMSTAGE_DEBUG_SPINLOOP is not set
  345.  
  346. #
  347. # Devices
  348. #
  349. # CONFIG_MAINBOARD_HAS_NATIVE_VGA_INIT is not set
  350. CONFIG_NATIVE_VGA_INIT_USE_EDID=y
  351. # CONFIG_MAINBOARD_HAS_NATIVE_VGA_INIT_TEXTMODECFG is not set
  352. # CONFIG_VGA_ROM_RUN is not set
  353. # CONFIG_ON_DEVICE_ROM_LOAD is not set
  354. CONFIG_PCI_OPTION_ROM_RUN_REALMODE=y
  355. # CONFIG_MULTIPLE_VGA_ADAPTERS is not set
  356. # CONFIG_SMBUS_HAS_AUX_CHANNELS is not set
  357. # CONFIG_SPD_CACHE is not set
  358. CONFIG_PCI=y
  359. # CONFIG_HYPERTRANSPORT_PLUGIN_SUPPORT is not set
  360. CONFIG_PCIX_PLUGIN_SUPPORT=y
  361. CONFIG_PCIEXP_PLUGIN_SUPPORT=y
  362. CONFIG_CARDBUS_PLUGIN_SUPPORT=y
  363. # CONFIG_AZALIA_PLUGIN_SUPPORT is not set
  364. # CONFIG_PCIEXP_COMMON_CLOCK is not set
  365. # CONFIG_PCIEXP_ASPM is not set
  366. # CONFIG_PCIEXP_CLK_PM is not set
  367. # CONFIG_EARLY_PCI_BRIDGE is not set
  368. CONFIG_SUBSYSTEM_VENDOR_ID=0x0000
  369. CONFIG_SUBSYSTEM_DEVICE_ID=0x0000
  370. # CONFIG_SOFTWARE_I2C is not set
  371.  
  372. #
  373. # Display
  374. #
  375. # CONFIG_FRAMEBUFFER_SET_VESA_MODE is not set
  376. # CONFIG_FRAMEBUFFER_KEEP_VESA_MODE is not set
  377.  
  378. #
  379. # Generic Drivers
  380. #
  381. # CONFIG_DRIVERS_AS3722_RTC is not set
  382. # CONFIG_GIC is not set
  383. # CONFIG_IPMI_KCS is not set
  384. # CONFIG_DRIVERS_LENOVO_WACOM is not set
  385. # CONFIG_DRIVERS_LENOVO_HYBRID_GRAPHICS is not set
  386. # CONFIG_REALTEK_8168_RESET is not set
  387. # CONFIG_SPI_FLASH is not set
  388. # CONFIG_HAVE_SPI_CONSOLE_SUPPORT is not set
  389. CONFIG_DRIVERS_UART=y
  390. # CONFIG_NO_UART_ON_SUPERIO is not set
  391. # CONFIG_UART_OVERRIDE_INPUT_CLOCK_DIVIDER is not set
  392. # CONFIG_UART_OVERRIDE_REFCLK is not set
  393. # CONFIG_DRIVERS_UART_8250MEM is not set
  394. # CONFIG_DRIVERS_UART_8250MEM_32 is not set
  395. # CONFIG_HAVE_UART_SPECIAL is not set
  396. # CONFIG_DRIVERS_UART_OXPCIE is not set
  397. # CONFIG_DRIVERS_UART_PL011 is not set
  398. # CONFIG_UART_USE_REFCLK_AS_INPUT_CLOCK is not set
  399. # CONFIG_HAVE_USBDEBUG is not set
  400. # CONFIG_HAVE_USBDEBUG_OPTIONS is not set
  401. # CONFIG_SMBIOS_PROVIDED_BY_MOBO is not set
  402. # CONFIG_DRIVERS_I2C_PCF8523 is not set
  403. # CONFIG_DRIVERS_I2C_RTD2132 is not set
  404. # CONFIG_DRIVER_I2C_TPM_ACPI is not set
  405. # CONFIG_INTEL_DP is not set
  406. # CONFIG_INTEL_DDI is not set
  407. # CONFIG_INTEL_EDID is not set
  408. # CONFIG_INTEL_INT15 is not set
  409. # CONFIG_INTEL_GMA_ACPI is not set
  410. # CONFIG_DRIVER_INTEL_I210 is not set
  411. CONFIG_DRIVERS_INTEL_WIFI=y
  412. # CONFIG_DRIVER_MAXIM_MAX77686 is not set
  413. # CONFIG_DRIVER_PARADE_PS8625 is not set
  414. # CONFIG_DRIVER_PARADE_PS8640 is not set
  415. CONFIG_DRIVERS_MC146818=y
  416. # CONFIG_MAINBOARD_HAS_LPC_TPM is not set
  417. # CONFIG_DRIVERS_RICOH_RCE822 is not set
  418. # CONFIG_DRIVER_SIEMENS_NC_FPGA is not set
  419. # CONFIG_DRIVERS_SIL_3114 is not set
  420. # CONFIG_DRIVER_TI_TPS65090 is not set
  421. # CONFIG_DRIVERS_TI_TPS65913 is not set
  422. # CONFIG_DRIVERS_TI_TPS65913_RTC is not set
  423. # CONFIG_DRIVER_XPOWERS_AXP209 is not set
  424. # CONFIG_ACPI_SATA_GENERATOR is not set
  425. # CONFIG_ACPI_INTEL_HARDWARE_SLEEP_VALUES is not set
  426. # CONFIG_BOOT_DEVICE_NOT_SPI_FLASH is not set
  427. CONFIG_BOOT_DEVICE_SPI_FLASH=y
  428. CONFIG_BOOT_DEVICE_MEMORY_MAPPED=y
  429. # CONFIG_BOOT_DEVICE_SUPPORTS_WRITES is not set
  430. # CONFIG_RTC is not set
  431. # CONFIG_TPM is not set
  432. CONFIG_STACK_SIZE=0x1000
  433. # CONFIG_MMCONF_SUPPORT_DEFAULT is not set
  434. # CONFIG_MMCONF_SUPPORT is not set
  435.  
  436. #
  437. # Console
  438. #
  439. CONFIG_CONSOLE_SERIAL=y
  440.  
  441. #
  442. # I/O mapped, 8250-compatible
  443. #
  444.  
  445. #
  446. # Serial port base address = 0x3f8
  447. #
  448. # CONFIG_CONSOLE_SERIAL_921600 is not set
  449. # CONFIG_CONSOLE_SERIAL_460800 is not set
  450. # CONFIG_CONSOLE_SERIAL_230400 is not set
  451. # CONFIG_CONSOLE_SERIAL_115200 is not set
  452. # CONFIG_CONSOLE_SERIAL_57600 is not set
  453. CONFIG_CONSOLE_SERIAL_38400=y
  454. # CONFIG_CONSOLE_SERIAL_19200 is not set
  455. # CONFIG_CONSOLE_SERIAL_9600 is not set
  456. CONFIG_TTYS0_BAUD=38400
  457. # CONFIG_SPKMODEM is not set
  458. # CONFIG_CONSOLE_NE2K is not set
  459. CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000
  460. CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y
  461. # CONFIG_DEFAULT_CONSOLE_LOGLEVEL_7 is not set
  462. # CONFIG_DEFAULT_CONSOLE_LOGLEVEL_6 is not set
  463. # CONFIG_DEFAULT_CONSOLE_LOGLEVEL_5 is not set
  464. # CONFIG_DEFAULT_CONSOLE_LOGLEVEL_4 is not set
  465. # CONFIG_DEFAULT_CONSOLE_LOGLEVEL_3 is not set
  466. # CONFIG_DEFAULT_CONSOLE_LOGLEVEL_2 is not set
  467. # CONFIG_DEFAULT_CONSOLE_LOGLEVEL_1 is not set
  468. # CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0 is not set
  469. # CONFIG_CMOS_POST is not set
  470. CONFIG_POST_DEVICE_NONE=y
  471. # CONFIG_POST_DEVICE_LPC is not set
  472. # CONFIG_POST_DEVICE_PCI_PCIE is not set
  473. CONFIG_POST_IO_PORT=0x80
  474. # CONFIG_NO_EARLY_BOOTBLOCK_POSTCODES is not set
  475. # CONFIG_HAVE_ACPI_RESUME is not set
  476. # CONFIG_HAVE_HARD_RESET is not set
  477. CONFIG_HAVE_MONOTONIC_TIMER=y
  478. # CONFIG_GENERIC_UDELAY is not set
  479. # CONFIG_TIMER_QUEUE is not set
  480. # CONFIG_HAVE_OPTION_TABLE is not set
  481. CONFIG_PIRQ_ROUTE=y
  482. # CONFIG_HAVE_SMI_HANDLER is not set
  483. # CONFIG_PCI_IO_CFG_EXT is not set
  484. # CONFIG_IOAPIC is not set
  485. # CONFIG_USE_WATCHDOG_ON_BOOT is not set
  486. # CONFIG_VGA is not set
  487. # CONFIG_GFXUMA is not set
  488. CONFIG_HAVE_PIRQ_TABLE=y
  489. # CONFIG_COMMON_FADT is not set
  490. # CONFIG_ACPI_NHLT is not set
  491.  
  492. #
  493. # System tables
  494. #
  495. # CONFIG_GENERATE_MP_TABLE is not set
  496. CONFIG_GENERATE_PIRQ_TABLE=y
  497. CONFIG_GENERATE_SMBIOS_TABLES=y
  498. CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="ALIX.2D"
  499.  
  500. #
  501. # Payload
  502. #
  503. # CONFIG_PAYLOAD_NONE is not set
  504. # CONFIG_PAYLOAD_ELF is not set
  505. # CONFIG_PAYLOAD_BAYOU is not set
  506. # CONFIG_PAYLOAD_FILO is not set
  507. # CONFIG_PAYLOAD_GRUB2 is not set
  508. CONFIG_PAYLOAD_SEABIOS=y
  509. # CONFIG_PAYLOAD_UBOOT is not set
  510. # CONFIG_PAYLOAD_LINUX is not set
  511. # CONFIG_PAYLOAD_TIANOCORE is not set
  512. CONFIG_PAYLOAD_FILE="payloads/external/SeaBIOS/seabios/out/bios.bin.elf"
  513. CONFIG_SEABIOS_STABLE=y
  514. # CONFIG_SEABIOS_MASTER is not set
  515. # CONFIG_SEABIOS_REVISION is not set
  516. # CONFIG_SEABIOS_THREAD_OPTIONROMS is not set
  517. CONFIG_SEABIOS_BOOTORDER_FILE=""
  518. CONFIG_PAYLOAD_OPTIONS=""
  519. CONFIG_PXE=y
  520.  
  521. #
  522. # PXE Options
  523. #
  524. # CONFIG_PXE_ROM is not set
  525. CONFIG_BUILD_IPXE=y
  526. # CONFIG_IPXE_STABLE is not set
  527. CONFIG_IPXE_MASTER=y
  528. CONFIG_PXE_ROM_ID="1106,3053"
  529. CONFIG_COMPRESSED_PAYLOAD_LZMA=y
  530. # CONFIG_PAYLOAD_IS_FLAT_BINARY is not set
  531.  
  532. #
  533. # Secondary Payloads
  534. #
  535. # CONFIG_COREINFO_SECONDARY_PAYLOAD is not set
  536. # CONFIG_MEMTEST_SECONDARY_PAYLOAD is not set
  537. # CONFIG_NVRAMCUI_SECONDARY_PAYLOAD is not set
  538. # CONFIG_TINT_SECONDARY_PAYLOAD is not set
  539.  
  540. #
  541. # Debugging
  542. #
  543. # CONFIG_GDB_STUB is not set
  544. # CONFIG_FATAL_ASSERTS is not set
  545. # CONFIG_DEBUG_CBFS is not set
  546. # CONFIG_HAVE_DEBUG_RAM_SETUP is not set
  547. # CONFIG_HAVE_DEBUG_CAR is not set
  548. # CONFIG_DEBUG_PIRQ is not set
  549. # CONFIG_HAVE_DEBUG_SMBUS is not set
  550. # CONFIG_DEBUG_MALLOC is not set
  551. # CONFIG_DEBUG_ACPI is not set
  552. # CONFIG_REALMODE_DEBUG is not set
  553. # CONFIG_TRACE is not set
  554. # CONFIG_DEBUG_BOOT_STATE is not set
  555. # CONFIG_ENABLE_APIC_EXT_ID is not set
  556. CONFIG_WARNINGS_ARE_ERRORS=y
  557. CONFIG_IASL_WARNINGS_ARE_ERRORS=y
  558. # CONFIG_POWER_BUTTON_DEFAULT_ENABLE is not set
  559. # CONFIG_POWER_BUTTON_DEFAULT_DISABLE is not set
  560. # CONFIG_POWER_BUTTON_FORCE_ENABLE is not set
  561. CONFIG_POWER_BUTTON_FORCE_DISABLE=y
  562. # CONFIG_POWER_BUTTON_IS_OPTIONAL is not set
  563. # CONFIG_REG_SCRIPT is not set
  564. # CONFIG_CREATE_BOARD_CHECKLIST is not set
  565. # CONFIG_MAKE_CHECKLIST_PUBLIC is not set
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!