API tools faq
paste
venture37

X60s coreboot config from failed flash

venture37
Oct 19th, 2014
270
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 14.02 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_EXPERT=y
  10. CONFIG_LOCALVERSION="7BETD8WW (2.19 )"
  11. CONFIG_CBFS_PREFIX="fallback"
  12. CONFIG_COMPILER_GCC=y
  13. # CONFIG_COMPILER_LLVM_CLANG is not set
  14. # CONFIG_ANY_TOOLCHAIN is not set
  15. # CONFIG_CCACHE is not set
  16. # CONFIG_SCONFIG_GENPARSER is not set
  17. CONFIG_USE_OPTION_TABLE=y
  18. CONFIG_COMPRESS_RAMSTAGE=y
  19. CONFIG_INCLUDE_CONFIG_FILE=y
  20. CONFIG_EARLY_CBMEM_INIT=y
  21. # CONFIG_BROKEN_CAR_MIGRATE is not set
  22. CONFIG_DYNAMIC_CBMEM=y
  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_BOOTBLOCK_SIMPLE=y
  28. # CONFIG_BOOTBLOCK_NORMAL is not set
  29. CONFIG_BOOTBLOCK_SOURCE="bootblock_simple.c"
  30. # CONFIG_UPDATE_IMAGE is not set
  31.  
  32. #
  33. # Mainboard
  34. #
  35. # CONFIG_VENDOR_AAEON is not set
  36. # CONFIG_VENDOR_ABIT is not set
  37. # CONFIG_VENDOR_ADLINK is not set
  38. # CONFIG_VENDOR_ADVANSUS is not set
  39. # CONFIG_VENDOR_ADVANTECH is not set
  40. # CONFIG_VENDOR_AMD is not set
  41. # CONFIG_VENDOR_AOPEN is not set
  42. # CONFIG_VENDOR_APPLE is not set
  43. # CONFIG_VENDOR_ARIMA is not set
  44. # CONFIG_VENDOR_ARTECGROUP is not set
  45. # CONFIG_VENDOR_ASI is not set
  46. # CONFIG_VENDOR_ASROCK is not set
  47. # CONFIG_VENDOR_ASUS is not set
  48. # CONFIG_VENDOR_A_TREND is not set
  49. # CONFIG_VENDOR_AVALUE is not set
  50. # CONFIG_VENDOR_AXUS is not set
  51. # CONFIG_VENDOR_AZZA is not set
  52. # CONFIG_VENDOR_BACHMANN is not set
  53. # CONFIG_VENDOR_BCOM is not set
  54. # CONFIG_VENDOR_BIFFEROS is not set
  55. # CONFIG_VENDOR_BIOSTAR is not set
  56. # CONFIG_VENDOR_BROADCOM is not set
  57. # CONFIG_VENDOR_COMPAQ is not set
  58. # CONFIG_VENDOR_CUBIETECH is not set
  59. # CONFIG_VENDOR_DIGITALLOGIC is not set
  60. # CONFIG_VENDOR_DMP is not set
  61. # CONFIG_VENDOR_EAGLELION is not set
  62. # CONFIG_VENDOR_ECS is not set
  63. # CONFIG_VENDOR_EMULATION is not set
  64. # CONFIG_VENDOR_GETAC is not set
  65. # CONFIG_VENDOR_GIGABYTE is not set
  66. # CONFIG_VENDOR_GIZMOSPHERE is not set
  67. # CONFIG_VENDOR_GOOGLE is not set
  68. # CONFIG_VENDOR_HP is not set
  69. # CONFIG_VENDOR_IBASE is not set
  70. # CONFIG_VENDOR_IBM is not set
  71. # CONFIG_VENDOR_IEI is not set
  72. # CONFIG_VENDOR_INTEL is not set
  73. # CONFIG_VENDOR_IWAVE is not set
  74. # CONFIG_VENDOR_IWILL is not set
  75. # CONFIG_VENDOR_JETWAY is not set
  76. # CONFIG_VENDOR_KONTRON is not set
  77. # CONFIG_VENDOR_LANNER is not set
  78. CONFIG_VENDOR_LENOVO=y
  79. # CONFIG_VENDOR_LINUTOP is not set
  80. # CONFIG_VENDOR_LIPPERT is not set
  81. # CONFIG_VENDOR_MITAC is not set
  82. # CONFIG_VENDOR_MSI is not set
  83. # CONFIG_VENDOR_NEC is not set
  84. # CONFIG_VENDOR_NEWISYS is not set
  85. # CONFIG_VENDOR_NOKIA is not set
  86. # CONFIG_VENDOR_NVIDIA is not set
  87. # CONFIG_VENDOR_PACKARDBELL is not set
  88. # CONFIG_VENDOR_PCENGINES is not set
  89. # CONFIG_VENDOR_RCA is not set
  90. # CONFIG_VENDOR_RODA is not set
  91. # CONFIG_VENDOR_SAMSUNG is not set
  92. # CONFIG_VENDOR_SIEMENS is not set
  93. # CONFIG_VENDOR_SOYO is not set
  94. # CONFIG_VENDOR_SUNW is not set
  95. # CONFIG_VENDOR_SUPERMICRO is not set
  96. # CONFIG_VENDOR_TECHNEXION is not set
  97. # CONFIG_VENDOR_TECHNOLOGIC is not set
  98. # CONFIG_VENDOR_TELEVIDEO is not set
  99. # CONFIG_VENDOR_TI is not set
  100. # CONFIG_VENDOR_THOMSON is not set
  101. # CONFIG_VENDOR_TRAVERSE is not set
  102. # CONFIG_VENDOR_TYAN is not set
  103. # CONFIG_VENDOR_VIA is not set
  104. # CONFIG_VENDOR_WINENT is not set
  105. # CONFIG_VENDOR_WYSE is not set
  106. CONFIG_BOARD_SPECIFIC_OPTIONS=y
  107. CONFIG_MAINBOARD_DIR="lenovo/x60"
  108. CONFIG_MAINBOARD_PART_NUMBER="ThinkPad X60 / X60s / X60t"
  109. CONFIG_IRQ_SLOT_COUNT=18
  110. CONFIG_MAINBOARD_VENDOR="Lenovo"
  111. CONFIG_MAX_CPUS=2
  112. CONFIG_RAMTOP=0x200000
  113. CONFIG_HEAP_SIZE=0x4000
  114. CONFIG_RAMBASE=0x100000
  115. CONFIG_VGA_BIOS_ID="8086,27a2"
  116. CONFIG_DRIVERS_PS2_KEYBOARD=y
  117. # CONFIG_ONBOARD_VGA_IS_PRIMARY is not set
  118. CONFIG_VGA_BIOS=y
  119. # CONFIG_CONSOLE_POST is not set
  120. # CONFIG_UDELAY_IO is not set
  121. CONFIG_DCACHE_RAM_BASE=0xffdf8000
  122. CONFIG_DCACHE_RAM_SIZE=0x8000
  123. CONFIG_ACPI_SSDTX_NUM=0
  124. CONFIG_VGA_BIOS_FILE="/home/foo/coreboot/vgabios.bin"
  125. CONFIG_MMCONF_BASE_ADDRESS=0xf0000000
  126. CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="LENOVO"
  127. # CONFIG_PCI_64BIT_PREF_MEM is not set
  128. CONFIG_UART_FOR_CONSOLE=0
  129. CONFIG_ID_SECTION_OFFSET=0x80
  130. CONFIG_STACK_SIZE=0x1000
  131. CONFIG_CACHE_ROM_SIZE_OVERRIDE=0
  132. CONFIG_CBFS_SIZE=0x200000
  133. CONFIG_POST_IO=y
  134. CONFIG_POST_DEVICE=y
  135. CONFIG_SEABIOS_MALLOC_UPPERMEMORY=y
  136. CONFIG_BOARD_LENOVO_X60=y
  137. # CONFIG_BOARD_LENOVO_X200 is not set
  138. # CONFIG_BOARD_LENOVO_X201 is not set
  139. # CONFIG_BOARD_LENOVO_X220 is not set
  140. # CONFIG_BOARD_LENOVO_X230 is not set
  141. # CONFIG_BOARD_LENOVO_T520 is not set
  142. # CONFIG_BOARD_LENOVO_T530 is not set
  143. # CONFIG_BOARD_LENOVO_T60 is not set
  144. CONFIG_SEABIOS_PS2_TIMEOUT=3000
  145. CONFIG_MAINBOARD_VERSION="ThinkPad X60s"
  146. CONFIG_CPU_ADDR_BITS=36
  147. CONFIG_DEFAULT_CONSOLE_LOGLEVEL=8
  148. # CONFIG_USBDEBUG is not set
  149. CONFIG_MAXIMUM_SUPPORTED_FREQUENCY=0
  150. CONFIG_BOARD_ROMSIZE_KB_2048=y
  151. # CONFIG_COREBOOT_ROMSIZE_KB_64 is not set
  152. # CONFIG_COREBOOT_ROMSIZE_KB_128 is not set
  153. # CONFIG_COREBOOT_ROMSIZE_KB_256 is not set
  154. # CONFIG_COREBOOT_ROMSIZE_KB_512 is not set
  155. # CONFIG_COREBOOT_ROMSIZE_KB_1024 is not set
  156. CONFIG_COREBOOT_ROMSIZE_KB_2048=y
  157. # CONFIG_COREBOOT_ROMSIZE_KB_4096 is not set
  158. # CONFIG_COREBOOT_ROMSIZE_KB_8192 is not set
  159. # CONFIG_COREBOOT_ROMSIZE_KB_12288 is not set
  160. # CONFIG_COREBOOT_ROMSIZE_KB_16384 is not set
  161. CONFIG_COREBOOT_ROMSIZE_KB=2048
  162. CONFIG_ROM_SIZE=0x200000
  163. CONFIG_ARCH_X86=y
  164. # CONFIG_ARCH_ARM is not set
  165. # CONFIG_ARCH_ARM64 is not set
  166. CONFIG_ARCH_BOOTBLOCK_X86_32=y
  167. CONFIG_ARCH_ROMSTAGE_X86_32=y
  168. CONFIG_ARCH_RAMSTAGE_X86_32=y
  169. CONFIG_AP_IN_SIPI_WAIT=y
  170. # CONFIG_SIPI_VECTOR_IN_ROM is not set
  171. CONFIG_NUM_IPI_STARTS=2
  172. # CONFIG_ROMCC is not set
  173. CONFIG_PC80_SYSTEM=y
  174. CONFIG_BOOTBLOCK_NORTHBRIDGE_INIT="northbridge/intel/i945/bootblock.c"
  175. CONFIG_HAVE_CMOS_DEFAULT=y
  176. CONFIG_CMOS_DEFAULT_FILE="src/mainboard/$(MAINBOARDDIR)/cmos.default"
  177. CONFIG_BOOTBLOCK_SOUTHBRIDGE_INIT="southbridge/intel/i82801gx/bootblock.c"
  178. CONFIG_IOAPIC_INTERRUPTS_ON_FSB=y
  179. # CONFIG_IOAPIC_INTERRUPTS_ON_APIC_SERIAL_BUS is not set
  180. CONFIG_HPET_ADDRESS=0xfed00000
  181. # CONFIG_ARCH_BOOTBLOCK_ARM is not set
  182. # CONFIG_ARCH_ROMSTAGE_ARM is not set
  183. # CONFIG_ARCH_RAMSTAGE_ARM is not set
  184. # CONFIG_ARCH_BOOTBLOCK_ARMV4 is not set
  185. # CONFIG_ARCH_ROMSTAGE_ARMV4 is not set
  186. # CONFIG_ARCH_RAMSTAGE_ARMV4 is not set
  187. # CONFIG_ARCH_BOOTBLOCK_ARMV7 is not set
  188. # CONFIG_ARCH_ROMSTAGE_ARMV7 is not set
  189. # CONFIG_ARCH_RAMSTAGE_ARMV7 is not set
  190. # CONFIG_ARM_BOOTBLOCK_CUSTOM is not set
  191. # CONFIG_CPU_HAS_BOOTBLOCK_INIT is not set
  192. # CONFIG_MAINBOARD_HAS_BOOTBLOCK_INIT is not set
  193. # CONFIG_ARCH_BOOTBLOCK_ARM64 is not set
  194. # CONFIG_ARCH_ROMSTAGE_ARM64 is not set
  195. # CONFIG_ARCH_RAMSTAGE_ARM64 is not set
  196. # CONFIG_ARCH_BOOTBLOCK_ARM_V8_64 is not set
  197. # CONFIG_ARCH_ROMSTAGE_ARM_V8_64 is not set
  198. # CONFIG_ARCH_RAMSTAGE_ARM_V8_64 is not set
  199. # CONFIG_MAINBOARD_HAS_CHROMEOS is not set
  200. CONFIG_SYSTEM_TYPE_LAPTOP=y
  201.  
  202. #
  203. # Chipset
  204. #
  205.  
  206. #
  207. # CPU
  208. #
  209. # CONFIG_CPU_ALLWINNER_A10 is not set
  210. # CONFIG_CPU_ARMLTD_CORTEX_A9 is not set
  211. # CONFIG_CPU_TI_AM335X is not set
  212. CONFIG_SOCKET_SPECIFIC_OPTIONS=y
  213. CONFIG_XIP_ROM_SIZE=0x10000
  214. # CONFIG_CPU_AMD_AGESA is not set
  215. CONFIG_CPU_INTEL_MODEL_6EX=y
  216. CONFIG_CPU_INTEL_MODEL_6FX=y
  217. CONFIG_SMM_TSEG_SIZE=0
  218. CONFIG_CPU_INTEL_SOCKET_MFCPGA478=y
  219. CONFIG_SSE2=y
  220. # CONFIG_CPU_INTEL_FIRMWARE_INTERFACE_TABLE is not set
  221. # CONFIG_CPU_INTEL_TURBO_NOT_PACKAGE_SCOPED is not set
  222. # CONFIG_PARALLEL_CPU_INIT is not set
  223. CONFIG_UDELAY_LAPIC=y
  224. CONFIG_LAPIC_MONOTONIC_TIMER=y
  225. # CONFIG_UDELAY_TSC is not set
  226. # CONFIG_UDELAY_TIMER2 is not set
  227. # CONFIG_TSC_CALIBRATE_WITH_IO is not set
  228. # CONFIG_TSC_SYNC_LFENCE is not set
  229. CONFIG_TSC_SYNC_MFENCE=y
  230. CONFIG_LOGICAL_CPUS=y
  231. # CONFIG_SMM_TSEG is not set
  232. # CONFIG_SMM_MODULES is not set
  233. # CONFIG_X86_AMD_FIXED_MTRRS is not set
  234. # CONFIG_PLATFORM_USES_FSP is not set
  235. # CONFIG_PARALLEL_MP is not set
  236. # CONFIG_BACKUP_DEFAULT_SMM_REGION is not set
  237. # CONFIG_MIRROR_PAYLOAD_TO_RAM_BEFORE_LOADING is not set
  238. CONFIG_CACHE_AS_RAM=y
  239. CONFIG_SMP=y
  240. CONFIG_AP_SIPI_VECTOR=0xfffff000
  241. CONFIG_MMX=y
  242. CONFIG_SSE=y
  243. CONFIG_SUPPORT_CPU_UCODE_IN_CBFS=y
  244. # CONFIG_CPU_MICROCODE_CBFS_GENERATE is not set
  245. # CONFIG_CPU_MICROCODE_CBFS_EXTERNAL is not set
  246. CONFIG_CPU_MICROCODE_CBFS_NONE=y
  247.  
  248. #
  249. # Northbridge
  250. #
  251. CONFIG_VIDEO_MB=0
  252. # CONFIG_NORTHBRIDGE_AMD_AGESA is not set
  253. # CONFIG_AMD_NB_CIMX is not set
  254. # CONFIG_NORTHBRIDGE_AMD_CIMX_RD890 is not set
  255. CONFIG_NORTHBRIDGE_SPECIFIC_OPTIONS=y
  256. CONFIG_NORTHBRIDGE_INTEL_I945=y
  257. # CONFIG_NORTHBRIDGE_INTEL_SUBTYPE_I945GC is not set
  258. CONFIG_NORTHBRIDGE_INTEL_SUBTYPE_I945GM=y
  259. CONFIG_CHANNEL_XOR_RANDOMIZATION=y
  260. # CONFIG_OVERRIDE_CLOCK_DISABLE is not set
  261. # CONFIG_CHECK_SLFRCS_ON_RESUME is not set
  262. CONFIG_HPET_MIN_TICKS=0x80
  263. CONFIG_MAX_PIRQ_LINKS=4
  264.  
  265. #
  266. # Southbridge
  267. #
  268. CONFIG_EHCI_BAR=0xfef00000
  269. # CONFIG_AMD_SB_CIMX is not set
  270. # CONFIG_SOUTHBRIDGE_AMD_CIMX_SB800 is not set
  271. # CONFIG_SOUTHBRIDGE_AMD_CIMX_SB900 is not set
  272. CONFIG_SOUTHBRIDGE_INTEL_COMMON=y
  273. CONFIG_SOUTHBRIDGE_INTEL_I82801GX=y
  274. CONFIG_SOUTHBRIDGE_RICOH_RL5C476=y
  275.  
  276. #
  277. # Super I/O
  278. #
  279. CONFIG_SUPERIO_NSC_PC87382=y
  280. CONFIG_SUPERIO_NSC_PC87392=y
  281.  
  282. #
  283. # Embedded Controllers
  284. #
  285. CONFIG_EC_ACPI=y
  286. CONFIG_EC_LENOVO_H8=y
  287. CONFIG_H8_DOCK_EARLY_INIT=y
  288. CONFIG_EC_LENOVO_PMH7=y
  289.  
  290. #
  291. # SoC
  292. #
  293. # CONFIG_SOC_NVIDIA_TEGRA124 is not set
  294. # CONFIG_SOC_QC_IPQ806X is not set
  295. # CONFIG_CPU_SAMSUNG_EXYNOS5250 is not set
  296. # CONFIG_CPU_SAMSUNG_EXYNOS5420 is not set
  297.  
  298. #
  299. # Devices
  300. #
  301. CONFIG_MAINBOARD_HAS_NATIVE_VGA_INIT=y
  302. # CONFIG_MAINBOARD_HAS_NATIVE_VGA_INIT_TEXTMODECFG is not set
  303. # CONFIG_MAINBOARD_DO_NATIVE_VGA_INIT is not set
  304. # CONFIG_VGA_ROM_RUN is not set
  305. # CONFIG_ON_DEVICE_ROM_RUN is not set
  306. # CONFIG_MULTIPLE_VGA_ADAPTERS is not set
  307. # CONFIG_SPD_CACHE is not set
  308. CONFIG_PCI=y
  309. # CONFIG_HYPERTRANSPORT_PLUGIN_SUPPORT is not set
  310. CONFIG_PCIX_PLUGIN_SUPPORT=y
  311. CONFIG_PCIEXP_PLUGIN_SUPPORT=y
  312. CONFIG_AGP_PLUGIN_SUPPORT=y
  313. CONFIG_CARDBUS_PLUGIN_SUPPORT=y
  314. # CONFIG_AZALIA_PLUGIN_SUPPORT is not set
  315. # CONFIG_PCIEXP_COMMON_CLOCK is not set
  316. # CONFIG_PCIEXP_ASPM is not set
  317. CONFIG_PCI_BUS_SEGN_BITS=0
  318. # CONFIG_EARLY_PCI_BRIDGE is not set
  319. CONFIG_SUBSYSTEM_VENDOR_ID=0x0000
  320. CONFIG_SUBSYSTEM_DEVICE_ID=0x0000
  321. # CONFIG_PXE_ROM is not set
  322.  
  323. #
  324. # Generic Drivers
  325. #
  326. # CONFIG_DRIVERS_I2C_RTD2132 is not set
  327. # CONFIG_I2C_TPM is not set
  328. CONFIG_DRIVERS_ICS_954309=y
  329. # CONFIG_INTEL_DP is not set
  330. # CONFIG_INTEL_DDI is not set
  331. CONFIG_INTEL_EDID=y
  332. CONFIG_INTEL_INT15=y
  333. # CONFIG_IPMI_KCS is not set
  334. CONFIG_DRIVERS_LENOVO_WACOM=y
  335. CONFIG_DIGITIZER_AUTODETECT=y
  336. # CONFIG_DIGITIZER_PRESENT is not set
  337. # CONFIG_DIGITIZER_ABSENT is not set
  338. # CONFIG_DRIVER_MAXIM_MAX77686 is not set
  339. # CONFIG_DRIVER_PARADE_PS8625 is not set
  340. # CONFIG_LPC_TPM is not set
  341. # CONFIG_DRIVERS_SIL_3114 is not set
  342. # CONFIG_SPI_FLASH is not set
  343. # CONFIG_DRIVER_TI_TPS65090 is not set
  344. CONFIG_DRIVERS_UART=y
  345. CONFIG_DRIVERS_UART_8250IO=y
  346. # CONFIG_NO_UART_ON_SUPERIO is not set
  347. # CONFIG_DRIVERS_UART_8250MEM is not set
  348. # CONFIG_HAVE_UART_SPECIAL is not set
  349. # CONFIG_DRIVERS_UART_OXPCIE is not set
  350. # CONFIG_DRIVERS_UART_PL011 is not set
  351. CONFIG_HAVE_USBDEBUG=y
  352. # CONFIG_HAVE_USBDEBUG_OPTIONS is not set
  353. # CONFIG_DRIVER_XPOWERS_AXP209 is not set
  354. # CONFIG_TPM is not set
  355. CONFIG_MMCONF_SUPPORT_DEFAULT=y
  356. CONFIG_MMCONF_SUPPORT=y
  357. # CONFIG_BOOTMODE_STRAPS is not set
  358.  
  359. #
  360. # Console
  361. #
  362. CONFIG_SQUELCH_EARLY_SMP=y
  363. CONFIG_CONSOLE_SERIAL=y
  364.  
  365. #
  366. # I/O mapped, 8250-compatible
  367. #
  368. CONFIG_TTYS0_BASE=0x3f8
  369. CONFIG_CONSOLE_SERIAL_115200=y
  370. # CONFIG_CONSOLE_SERIAL_57600 is not set
  371. # CONFIG_CONSOLE_SERIAL_38400 is not set
  372. # CONFIG_CONSOLE_SERIAL_19200 is not set
  373. # CONFIG_CONSOLE_SERIAL_9600 is not set
  374. CONFIG_TTYS0_BAUD=115200
  375. CONFIG_TTYS0_LCS=3
  376. # CONFIG_SPKMODEM is not set
  377. # CONFIG_CONSOLE_NE2K is not set
  378. CONFIG_CONSOLE_CBMEM=y
  379. CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000
  380. CONFIG_CONSOLE_PRERAM_BUFFER_SIZE=0xc00
  381. CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y
  382. # CONFIG_DEFAULT_CONSOLE_LOGLEVEL_7 is not set
  383. # CONFIG_DEFAULT_CONSOLE_LOGLEVEL_6 is not set
  384. # CONFIG_DEFAULT_CONSOLE_LOGLEVEL_5 is not set
  385. # CONFIG_DEFAULT_CONSOLE_LOGLEVEL_4 is not set
  386. # CONFIG_DEFAULT_CONSOLE_LOGLEVEL_3 is not set
  387. # CONFIG_DEFAULT_CONSOLE_LOGLEVEL_2 is not set
  388. # CONFIG_DEFAULT_CONSOLE_LOGLEVEL_1 is not set
  389. # CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0 is not set
  390. # CONFIG_NO_POST is not set
  391. # CONFIG_CMOS_POST is not set
  392. CONFIG_POST_DEVICE_NONE=y
  393. # CONFIG_POST_DEVICE_LPC is not set
  394. # CONFIG_POST_DEVICE_PCI_PCIE is not set
  395. CONFIG_POST_IO_PORT=0x80
  396. CONFIG_HAVE_ACPI_RESUME=y
  397. # CONFIG_HAVE_ACPI_SLIC is not set
  398. CONFIG_HAVE_HARD_RESET=y
  399. CONFIG_HAVE_MONOTONIC_TIMER=y
  400. # CONFIG_TIMER_QUEUE is not set
  401. CONFIG_HAVE_OPTION_TABLE=y
  402. # CONFIG_PIRQ_ROUTE is not set
  403. CONFIG_HAVE_SMI_HANDLER=y
  404. # CONFIG_PCI_IO_CFG_EXT is not set
  405. CONFIG_IOAPIC=y
  406. CONFIG_USE_WATCHDOG_ON_BOOT=y
  407. CONFIG_VGA=y
  408. # CONFIG_GFXUMA is not set
  409. CONFIG_HAVE_ACPI_TABLES=y
  410. CONFIG_HAVE_MP_TABLE=y
  411. CONFIG_HAVE_PIRQ_TABLE=y
  412. CONFIG_PER_DEVICE_ACPI_TABLES=y
  413.  
  414. #
  415. # System tables
  416. #
  417. CONFIG_GENERATE_MP_TABLE=y
  418. CONFIG_GENERATE_PIRQ_TABLE=y
  419. CONFIG_GENERATE_SMBIOS_TABLES=y
  420. CONFIG_MAINBOARD_SERIAL_NUMBER=“FOO”
  421. CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="17045LG"
  422.  
  423. #
  424. # Payload
  425. #
  426. # CONFIG_PAYLOAD_NONE is not set
  427. # CONFIG_PAYLOAD_ELF is not set
  428. # CONFIG_PAYLOAD_LINUX is not set
  429. CONFIG_PAYLOAD_SEABIOS=y
  430. # CONFIG_PAYLOAD_FILO is not set
  431. # CONFIG_PAYLOAD_GRUB2 is not set
  432. # CONFIG_PAYLOAD_TIANOCORE is not set
  433. CONFIG_SEABIOS_STABLE=y
  434. # CONFIG_SEABIOS_MASTER is not set
  435. # CONFIG_SEABIOS_THREAD_OPTIONROMS is not set
  436. CONFIG_PAYLOAD_FILE="payloads/external/SeaBIOS/seabios/out/bios.bin.elf"
  437. CONFIG_COMPRESSED_PAYLOAD_LZMA=y
  438.  
  439. #
  440. # Debugging
  441. #
  442. # CONFIG_GDB_STUB is not set
  443. # CONFIG_DEBUG_CBFS is not set
  444. CONFIG_HAVE_DEBUG_RAM_SETUP=y
  445. # CONFIG_DEBUG_RAM_SETUP is not set
  446. # CONFIG_HAVE_DEBUG_CAR is not set
  447. # CONFIG_DEBUG_PIRQ is not set
  448. # CONFIG_HAVE_DEBUG_SMBUS is not set
  449. # CONFIG_DEBUG_SMI is not set
  450. # CONFIG_DEBUG_SMM_RELOCATION is not set
  451. # CONFIG_DEBUG_MALLOC is not set
  452. # CONFIG_DEBUG_ACPI is not set
  453. # CONFIG_TRACE is not set
  454. # CONFIG_ENABLE_APIC_EXT_ID is not set
  455. CONFIG_WARNINGS_ARE_ERRORS=y
  456. # CONFIG_POWER_BUTTON_DEFAULT_ENABLE is not set
  457. # CONFIG_POWER_BUTTON_DEFAULT_DISABLE is not set
  458. # CONFIG_POWER_BUTTON_FORCE_ENABLE is not set
  459. # CONFIG_POWER_BUTTON_FORCE_DISABLE is not set
  460. # CONFIG_POWER_BUTTON_IS_OPTIONAL is not set
  461. CONFIG_REG_SCRIPT=y
  462. CONFIG_MAX_REBOOT_CNT=3
Advertisement
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!