blob: 6a959cf5617fd5cd91e774fcb36c0e2de806faef [file] [log] [blame]
Paul Menzel7541efa2024-02-23 09:27:03 +01001#
2# Automatically generated file; DO NOT EDIT.
3# coreboot configuration
4#
5
6#
7# General setup
8#
9CONFIG_COREBOOT_BUILD=y
10CONFIG_LOCALVERSION=""
11CONFIG_CBFS_PREFIX="fallback"
12CONFIG_COMPILER_GCC=y
13# CONFIG_COMPILER_LLVM_CLANG is not set
14CONFIG_ARCH_SUPPORTS_CLANG=y
15CONFIG_ANY_TOOLCHAIN=y
16# CONFIG_CCACHE is not set
17# CONFIG_IWYU is not set
18# CONFIG_FMD_GENPARSER is not set
19# CONFIG_UTIL_GENPARSER is not set
20CONFIG_OPTION_BACKEND_NONE=y
21# CONFIG_USE_OPTION_TABLE is not set
22CONFIG_COMPRESS_RAMSTAGE_LZMA=y
23# CONFIG_COMPRESS_RAMSTAGE_LZ4 is not set
24# CONFIG_SEPARATE_ROMSTAGE is not set
25CONFIG_INCLUDE_CONFIG_FILE=y
26CONFIG_COLLECT_TIMESTAMPS=y
27CONFIG_TIMESTAMPS_ON_CONSOLE=y
28# CONFIG_USE_BLOBS is not set
29# CONFIG_COVERAGE is not set
30# CONFIG_UBSAN is not set
31CONFIG_HAVE_ASAN_IN_ROMSTAGE=y
32CONFIG_HAVE_ASAN_IN_RAMSTAGE=y
33# CONFIG_ASAN is not set
34CONFIG_NO_STAGE_CACHE=y
35# CONFIG_CBMEM_STAGE_CACHE is not set
36# CONFIG_UPDATE_IMAGE is not set
37# CONFIG_BOOTSPLASH_IMAGE is not set
38# CONFIG_FW_CONFIG is not set
39
40#
41# Software Bill Of Materials (SBOM)
42#
43# CONFIG_SBOM is not set
44# end of Software Bill Of Materials (SBOM)
45# end of General setup
46
47#
48# Mainboard
49#
50
51#
52# Important: Run 'make distclean' before switching boards
53#
54# CONFIG_VENDOR_51NB is not set
55# CONFIG_VENDOR_ACER is not set
56# CONFIG_VENDOR_ADLINK is not set
57# CONFIG_VENDOR_AMD is not set
58# CONFIG_VENDOR_AOPEN is not set
59# CONFIG_VENDOR_APPLE is not set
60# CONFIG_VENDOR_ASROCK is not set
61# CONFIG_VENDOR_ASUS is not set
62# CONFIG_VENDOR_BIOSTAR is not set
63# CONFIG_VENDOR_BOSTENTECH is not set
64# CONFIG_VENDOR_BYTEDANCE is not set
65# CONFIG_VENDOR_CAVIUM is not set
66# CONFIG_VENDOR_CLEVO is not set
67# CONFIG_VENDOR_COMPULAB is not set
68# CONFIG_VENDOR_DELL is not set
69CONFIG_VENDOR_EMULATION=y
70# CONFIG_VENDOR_EXAMPLE is not set
71# CONFIG_VENDOR_FACEBOOK is not set
72# CONFIG_VENDOR_FOXCONN is not set
73# CONFIG_VENDOR_GETAC is not set
74# CONFIG_VENDOR_GIGABYTE is not set
75# CONFIG_VENDOR_GOOGLE is not set
76# CONFIG_VENDOR_HP is not set
77# CONFIG_VENDOR_IBASE is not set
78# CONFIG_VENDOR_IBM is not set
79# CONFIG_VENDOR_INTEL is not set
80# CONFIG_VENDOR_INVENTEC is not set
81# CONFIG_VENDOR_KONTRON is not set
82# CONFIG_VENDOR_LENOVO is not set
83# CONFIG_VENDOR_LIBRETREND is not set
84# CONFIG_VENDOR_MSI is not set
85# CONFIG_VENDOR_OCP is not set
86# CONFIG_VENDOR_OPENCELLULAR is not set
87# CONFIG_VENDOR_PACKARDBELL is not set
88# CONFIG_VENDOR_PCENGINES is not set
89# CONFIG_VENDOR_PINE64 is not set
90# CONFIG_VENDOR_PORTWELL is not set
91# CONFIG_VENDOR_PRODRIVE is not set
92# CONFIG_VENDOR_PROTECTLI is not set
93# CONFIG_VENDOR_PURISM is not set
94# CONFIG_VENDOR_RAZER is not set
95# CONFIG_VENDOR_RODA is not set
96# CONFIG_VENDOR_SAMSUNG is not set
97# CONFIG_VENDOR_SAPPHIRE is not set
98# CONFIG_VENDOR_SIEMENS is not set
99# CONFIG_VENDOR_SIFIVE is not set
100# CONFIG_VENDOR_STARLABS is not set
101# CONFIG_VENDOR_SUPERMICRO is not set
102# CONFIG_VENDOR_SYSTEM76 is not set
103# CONFIG_VENDOR_TI is not set
104# CONFIG_VENDOR_UP is not set
105CONFIG_BOARD_SPECIFIC_OPTIONS=y
106CONFIG_MAINBOARD_PART_NUMBER="QEMU x86 i440fx/piix4"
107CONFIG_MAINBOARD_VERSION="1.0"
108CONFIG_MAINBOARD_DIR="emulation/qemu-i440fx"
109CONFIG_DIMM_MAX=4
110CONFIG_DIMM_SPD_SIZE=256
111CONFIG_FMDFILE=""
112CONFIG_NO_POST=y
113CONFIG_MAINBOARD_VENDOR="Emulation"
114CONFIG_CBFS_SIZE=0x00400000
115CONFIG_CONSOLE_SERIAL=y
116CONFIG_MAX_CPUS=4
117# CONFIG_ONBOARD_VGA_IS_PRIMARY is not set
118CONFIG_UART_FOR_CONSOLE=0
119CONFIG_DEVICETREE="devicetree.cb"
120# CONFIG_VBOOT is not set
121CONFIG_VBOOT_VBNV_OFFSET=0x2c
122CONFIG_IRQ_SLOT_COUNT=6
123CONFIG_OVERRIDE_DEVICETREE=""
124# CONFIG_VGA_BIOS is not set
125CONFIG_MAINBOARD_SMBIOS_MANUFACTURER="Emulation"
126CONFIG_PRERAM_CBMEM_CONSOLE_SIZE=0xc00
127CONFIG_CMOS_DEFAULT_FILE="src/mainboard/$(MAINBOARDDIR)/cmos.default"
128CONFIG_CMOS_LAYOUT_FILE="src/mainboard/$(MAINBOARDDIR)/cmos.layout"
129# CONFIG_BOARD_EMULATION_QEMU_AARCH64 is not set
130# CONFIG_BOARD_EMULATION_QEMU_ARMV7 is not set
131CONFIG_BOARD_EMULATION_QEMU_X86_I440FX=y
132# CONFIG_BOARD_EMULATION_QEMU_POWER8 is not set
133# CONFIG_BOARD_EMULATION_QEMU_POWER9 is not set
134# CONFIG_BOARD_EMULATION_QEMU_X86_Q35 is not set
135# CONFIG_BOARD_EMULATION_QEMU_RISCV_RV64 is not set
136# CONFIG_BOARD_EMULATION_QEMU_RISCV_RV32 is not set
137# CONFIG_BOARD_EMULATION_SPIKE_RISCV is not set
138CONFIG_MEMLAYOUT_LD_FILE="src/arch/x86/memlayout.ld"
139CONFIG_ARCH_X86_64_PGTBL_LOC=0x8000
140CONFIG_DCACHE_RAM_BASE=0x10000
141CONFIG_DCACHE_RAM_SIZE=0x90000
142CONFIG_C_ENV_BOOTBLOCK_SIZE=0x10000
143CONFIG_DCACHE_BSP_STACK_SIZE=0x4000
144CONFIG_MAX_ACPI_TABLE_SIZE_KB=144
145CONFIG_DRIVERS_INTEL_WIFI=y
146CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000
147CONFIG_CARDBUS_PLUGIN_SUPPORT=y
148CONFIG_MAINBOARD_SMBIOS_PRODUCT_NAME="QEMU x86 i440fx/piix4"
149CONFIG_PS2K_EISAID="PNP0303"
150CONFIG_PS2M_EISAID="PNP0F13"
151CONFIG_TTYS0_BAUD=115200
152CONFIG_D3COLD_SUPPORT=y
153# CONFIG_PCIEXP_ASPM is not set
154# CONFIG_PCIEXP_CLK_PM is not set
155CONFIG_DRIVERS_UART_8250IO=y
156CONFIG_PC_CMOS_BASE_PORT_BANK1=0x72
157CONFIG_EC_GPE_SCI=0x50
158CONFIG_BOARD_ROMSIZE_KB_4096=y
159# CONFIG_COREBOOT_ROMSIZE_KB_256 is not set
160# CONFIG_COREBOOT_ROMSIZE_KB_512 is not set
161# CONFIG_COREBOOT_ROMSIZE_KB_1024 is not set
162# CONFIG_COREBOOT_ROMSIZE_KB_2048 is not set
163CONFIG_COREBOOT_ROMSIZE_KB_4096=y
164# CONFIG_COREBOOT_ROMSIZE_KB_5120 is not set
165# CONFIG_COREBOOT_ROMSIZE_KB_6144 is not set
166# CONFIG_COREBOOT_ROMSIZE_KB_8192 is not set
167# CONFIG_COREBOOT_ROMSIZE_KB_10240 is not set
168# CONFIG_COREBOOT_ROMSIZE_KB_12288 is not set
169# CONFIG_COREBOOT_ROMSIZE_KB_16384 is not set
170# CONFIG_COREBOOT_ROMSIZE_KB_24576 is not set
171# CONFIG_COREBOOT_ROMSIZE_KB_32768 is not set
172# CONFIG_COREBOOT_ROMSIZE_KB_65536 is not set
173CONFIG_COREBOOT_ROMSIZE_KB=4096
174CONFIG_ROM_SIZE=0x00400000
175# end of Mainboard
176
177#
178# Chipset
179#
180
181#
182# SoC
183#
184CONFIG_CHIPSET_DEVICETREE=""
185CONFIG_CBFS_MCACHE_SIZE=0x4000
186CONFIG_ROMSTAGE_ADDR=0x2000000
187CONFIG_VERSTAGE_ADDR=0x2000000
188CONFIG_USE_EXP_X86_64_SUPPORT=y
189CONFIG_PRERAM_CBFS_CACHE_SIZE=0x4000
190CONFIG_DOMAIN_RESOURCE_32BIT_LIMIT=0xfe000000
191CONFIG_ACPI_CPU_STRING="CP%02X"
192CONFIG_STACK_SIZE=0x2000
193CONFIG_INTEL_GMA_BCLV_OFFSET=0xc8254
194CONFIG_INTEL_GMA_BCLV_WIDTH=16
195CONFIG_INTEL_GMA_BCLM_OFFSET=0xc8256
196CONFIG_INTEL_GMA_BCLM_WIDTH=16
197CONFIG_BOOTBLOCK_IN_CBFS=y
198# CONFIG_PCIEXP_COMMON_CLOCK is not set
199CONFIG_SOC_PHYSICAL_ADDRESS_WIDTH=0
200CONFIG_FIXED_SMBUS_IO_BASE=0x400
201CONFIG_CBFS_CACHE_ALIGN=8
202
203#
204# CPU
205#
206CONFIG_CPU_QEMU_X86=y
207CONFIG_PARALLEL_MP=y
208CONFIG_XAPIC_ONLY=y
209# CONFIG_X2APIC_ONLY is not set
210# CONFIG_X2APIC_RUNTIME is not set
211# CONFIG_X2APIC_LATE_WORKAROUND is not set
212CONFIG_UDELAY_TSC=y
213CONFIG_UNKNOWN_TSC_RATE=y
214CONFIG_TSC_MONOTONIC_TIMER=y
215CONFIG_NO_SMM=y
216CONFIG_SMM_PCI_RESOURCE_STORE_NUM_SLOTS=8
217CONFIG_AP_STACK_SIZE=0x800
218CONFIG_SMP=y
219CONFIG_SSE=y
220CONFIG_SSE2=y
221
222#
223# Northbridge
224#
225
226#
227# Southbridge
228#
229# CONFIG_PCIEXP_HOTPLUG is not set
230CONFIG_SOUTHBRIDGE_INTEL_I82371EB=y
231CONFIG_SOUTHBRIDGE_INTEL_COMMON_RESET=y
232CONFIG_SOUTHBRIDGE_INTEL_COMMON_RTC=y
233CONFIG_SOUTHBRIDGE_INTEL_COMMON_SMBUS=y
234CONFIG_FIXED_RCBA_MMIO_BASE=0xfed1c000
235CONFIG_RCBA_LENGTH=0x4000
236
237#
238# Super I/O
239#
240
241#
242# Embedded Controllers
243#
244CONFIG_ARCH_X86=y
245CONFIG_ARCH_BOOTBLOCK_X86_64=y
246CONFIG_ARCH_VERSTAGE_X86_64=y
247CONFIG_ARCH_ROMSTAGE_X86_64=y
248CONFIG_ARCH_POSTCAR_X86_64=y
249CONFIG_ARCH_RAMSTAGE_X86_64=y
250CONFIG_ARCH_ALL_STAGES_X86_64=y
251CONFIG_HAVE_EXP_X86_64_SUPPORT=y
252CONFIG_X86_TOP4G_BOOTMEDIA_MAP=y
253CONFIG_POSTRAM_CBFS_CACHE_IN_BSS=y
254CONFIG_RAMSTAGE_CBFS_CACHE_SIZE=0x4000
255CONFIG_PC80_SYSTEM=y
256CONFIG_HAVE_CMOS_DEFAULT=y
257CONFIG_POSTCAR_STAGE=y
258CONFIG_BOOTBLOCK_SIMPLE=y
259# CONFIG_BOOTBLOCK_NORMAL is not set
260CONFIG_COLLECT_TIMESTAMPS_TSC=y
261CONFIG_HAVE_CF9_RESET=y
262CONFIG_DEBUG_HW_BREAKPOINTS=y
263CONFIG_DEBUG_NULL_DEREF_BREAKPOINTS=y
264# CONFIG_DUMP_SMBIOS_TYPE17 is not set
265# end of Chipset
266
267#
268# Devices
269#
270CONFIG_HAVE_VGA_TEXT_FRAMEBUFFER=y
271CONFIG_HAVE_LINEAR_FRAMEBUFFER=y
272CONFIG_MAINBOARD_HAS_NATIVE_VGA_INIT=y
273CONFIG_MAINBOARD_FORCE_NATIVE_VGA_INIT=y
274CONFIG_MAINBOARD_DO_NATIVE_VGA_INIT=y
275CONFIG_NO_EARLY_GFX_INIT=y
276
277#
278# Display
279#
280CONFIG_VGA_TEXT_FRAMEBUFFER=y
281# CONFIG_GENERIC_LINEAR_FRAMEBUFFER is not set
282# end of Display
283
284CONFIG_PCI=y
285CONFIG_NO_ECAM_MMCONF_SUPPORT=y
286CONFIG_PCIX_PLUGIN_SUPPORT=y
287CONFIG_PCIEXP_PLUGIN_SUPPORT=y
288# CONFIG_PCI_ALLOW_BUS_MASTER is not set
289# CONFIG_PCIEXP_LANE_ERR_STAT_CLEAR is not set
290# CONFIG_EARLY_PCI_BRIDGE is not set
291CONFIG_SUBSYSTEM_VENDOR_ID=0x0000
292CONFIG_SUBSYSTEM_DEVICE_ID=0x0000
293# CONFIG_SOFTWARE_I2C is not set
294CONFIG_I2C_TRANSFER_TIMEOUT_US=500000
295CONFIG_RESOURCE_ALLOCATION_TOP_DOWN=y
296# end of Devices
297
298#
299# Generic Drivers
300#
301CONFIG_CRB_TPM_BASE_ADDRESS=0xfed40000
302CONFIG_DRIVERS_UART=y
303# CONFIG_DRIVERS_UART_OXPCIE is not set
304# CONFIG_VPD is not set
305CONFIG_DRIVERS_EMULATION_QEMU_BOCHS=y
306# CONFIG_DRIVERS_GENERIC_CBFS_SERIAL is not set
307# CONFIG_DRIVERS_GENERIC_CBFS_UUID is not set
308# CONFIG_DRIVERS_GENESYSLOGIC_GL9750 is not set
309# CONFIG_DRIVERS_GENESYSLOGIC_GL9755 is not set
310# CONFIG_DRIVERS_GENESYSLOGIC_GL9763E is not set
311# CONFIG_DRIVERS_I2C_MAX98396 is not set
312# CONFIG_DRIVERS_NXP_UWB_SR1XX is not set
313# CONFIG_DRIVERS_PS2_KEYBOARD is not set
314CONFIG_DRIVERS_MC146818=y
315CONFIG_USE_PC_CMOS_ALTCENTURY=y
316CONFIG_PC_CMOS_BASE_PORT_BANK0=0x70
317CONFIG_VGA=y
318# CONFIG_DRIVERS_SIL_3114 is not set
319CONFIG_DRIVERS_WIFI_GENERIC=y
320CONFIG_DRIVERS_MTK_WIFI=y
321# end of Generic Drivers
322
323#
324# Security
325#
326
327#
328# CBFS verification
329#
330# CONFIG_CBFS_VERIFICATION is not set
331# end of CBFS verification
332
333#
334# Verified Boot (vboot)
335#
336# end of Verified Boot (vboot)
337
338#
339# Trusted Platform Module
340#
341CONFIG_NO_TPM=y
342CONFIG_PCR_BOOT_MODE=1
343CONFIG_PCR_HWID=1
344CONFIG_PCR_SRTM=2
345CONFIG_PCR_FW_VER=10
346CONFIG_PCR_RUNTIME_DATA=3
347# end of Trusted Platform Module
348
349#
350# Memory initialization
351#
352CONFIG_PLATFORM_HAS_DRAM_CLEAR=y
353# CONFIG_SECURITY_CLEAR_DRAM_ON_REGULAR_BOOT is not set
354# end of Memory initialization
355
356CONFIG_BOOTMEDIA_LOCK_NONE=y
357# CONFIG_BOOTMEDIA_LOCK_CONTROLLER is not set
358# CONFIG_BOOTMEDIA_LOCK_CHIP is not set
359# end of Security
360
361CONFIG_ACPI_HAVE_PCAT_8259=y
362CONFIG_ACPI_INTEL_HARDWARE_SLEEP_VALUES=y
363CONFIG_ACPI_NO_CUSTOM_MADT=y
364CONFIG_ACPI_COMMON_MADT_LAPIC=y
365CONFIG_ACPI_COMMON_MADT_IOAPIC=y
366CONFIG_HAVE_ACPI_TABLES=y
367CONFIG_BOOT_DEVICE_NOT_SPI_FLASH=y
368CONFIG_BOOT_DEVICE_MEMORY_MAPPED=y
369CONFIG_HEAP_SIZE=0x100000
370
371#
372# Console
373#
374CONFIG_BOOTBLOCK_CONSOLE=y
375CONFIG_POSTCAR_CONSOLE=y
376CONFIG_SQUELCH_EARLY_SMP=y
377
378#
379# I/O mapped, 8250-compatible
380#
381CONFIG_TTYS0_BASE=0x3f8
382
383#
384# Serial port base address = 0x3f8
385#
386# CONFIG_CONSOLE_SERIAL_921600 is not set
387# CONFIG_CONSOLE_SERIAL_460800 is not set
388# CONFIG_CONSOLE_SERIAL_230400 is not set
389CONFIG_CONSOLE_SERIAL_115200=y
390# CONFIG_CONSOLE_SERIAL_57600 is not set
391# CONFIG_CONSOLE_SERIAL_38400 is not set
392# CONFIG_CONSOLE_SERIAL_19200 is not set
393# CONFIG_CONSOLE_SERIAL_9600 is not set
394CONFIG_TTYS0_LCS=3
395# CONFIG_SPKMODEM is not set
396# CONFIG_CONSOLE_NE2K is not set
397CONFIG_CONSOLE_CBMEM=y
398# CONFIG_CONSOLE_I2C_SMBUS is not set
399CONFIG_CONSOLE_QEMU_DEBUGCON=y
400CONFIG_CONSOLE_QEMU_DEBUGCON_PORT=0x402
401# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8 is not set
402CONFIG_DEFAULT_CONSOLE_LOGLEVEL_7=y
403# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_6 is not set
404# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_5 is not set
405# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_4 is not set
406# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_3 is not set
407# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_2 is not set
408# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_1 is not set
409# CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0 is not set
410CONFIG_DEFAULT_CONSOLE_LOGLEVEL=7
411CONFIG_CONSOLE_USE_LOGLEVEL_PREFIX=y
412CONFIG_CONSOLE_USE_ANSI_ESCAPES=y
413CONFIG_HWBASE_DEBUG_CB=y
414# end of Console
415
416CONFIG_HAVE_MONOTONIC_TIMER=y
417CONFIG_HAVE_OPTION_TABLE=y
418CONFIG_IOAPIC=y
419CONFIG_HAVE_PIRQ_TABLE=y
420
421#
422# System tables
423#
424CONFIG_GENERATE_PIRQ_TABLE=y
425CONFIG_GENERATE_SMBIOS_TABLES=y
426CONFIG_BIOS_VENDOR="coreboot"
427CONFIG_MAINBOARD_SERIAL_NUMBER="123456789"
428# end of System tables
429
430#
431# Payload
432#
433# CONFIG_PAYLOAD_NONE is not set
434# CONFIG_PAYLOAD_ELF is not set
435# CONFIG_PAYLOAD_BOOTBOOT is not set
436CONFIG_PAYLOAD_FILO=y
437# CONFIG_PAYLOAD_GRUB2 is not set
438# CONFIG_PAYLOAD_SEAGRUB is not set
439# CONFIG_PAYLOAD_LINUXBOOT is not set
440# CONFIG_PAYLOAD_SEABIOS is not set
441# CONFIG_PAYLOAD_UBOOT is not set
442# CONFIG_PAYLOAD_EDK2 is not set
443# CONFIG_PAYLOAD_LINUX is not set
444CONFIG_PAYLOAD_FILE="payloads/external/FILO/filo/build/filo.elf"
445# CONFIG_FILO_STABLE is not set
446CONFIG_FILO_HEAD=y
447CONFIG_FILO_USE_AUTOBOOT=y
448CONFIG_FILO_AUTOBOOT_FILE="hda1:/vmlinuz initrd=hda1:/initrd.img root=/dev/sda1 ro quiet"
449CONFIG_FILO_AUTOBOOT_DELAY=2
450CONFIG_PAYLOAD_OPTIONS=""
451# CONFIG_PXE is not set
452# CONFIG_COMPRESSED_PAYLOAD_NONE is not set
453CONFIG_COMPRESSED_PAYLOAD_LZMA=y
454# CONFIG_COMPRESSED_PAYLOAD_LZ4 is not set
455# CONFIG_PAYLOAD_IS_FLAT_BINARY is not set
456CONFIG_COMPRESS_SECONDARY_PAYLOAD=y
457
458#
459# Secondary Payloads
460#
461# CONFIG_COREINFO_SECONDARY_PAYLOAD is not set
462# CONFIG_GRUB2_SECONDARY_PAYLOAD is not set
463# CONFIG_MEMTEST_SECONDARY_PAYLOAD is not set
464# CONFIG_NVRAMCUI_SECONDARY_PAYLOAD is not set
465# CONFIG_SEABIOS_SECONDARY_PAYLOAD is not set
466# CONFIG_TINT_SECONDARY_PAYLOAD is not set
467# CONFIG_COREDOOM_SECONDARY_PAYLOAD is not set
468# end of Secondary Payloads
469# end of Payload
470
471#
472# Debugging
473#
474
475#
476# CPU Debug Settings
477#
478# CONFIG_DISPLAY_MTRRS is not set
479
480#
481# Vendorcode Debug Settings
482#
483
484#
485# BLOB Debug Settings
486#
487
488#
489# General Debug Settings
490#
491# CONFIG_GDB_STUB is not set
492# CONFIG_FATAL_ASSERTS is not set
493# CONFIG_DEBUG_CBFS is not set
494# CONFIG_DEBUG_PIRQ is not set
495CONFIG_HAVE_DEBUG_SMBUS=y
496# CONFIG_DEBUG_SMBUS is not set
497# CONFIG_DEBUG_MALLOC is not set
498# CONFIG_DEBUG_CONSOLE_INIT is not set
499# CONFIG_DEBUG_BOOT_STATE is not set
500# CONFIG_DEBUG_ADA_CODE is not set
501# CONFIG_DEBUG_ACPICA_COMPATIBLE is not set
502# end of Debugging
503
504CONFIG_DECOMPRESS_OFAST=y
505CONFIG_PROBE_RAM=y
506CONFIG_WARNINGS_ARE_ERRORS=y
507CONFIG_MAX_REBOOT_CNT=3
508CONFIG_RELOCATABLE_MODULES=y
509CONFIG_HAVE_BOOTBLOCK=y
510CONFIG_HAVE_RAMSTAGE=y