soc/x86/ia32/Kconfig.soc

# SPDX-License-Identifier: Apache-2.0

config SOC_IA32
	bool "Generic IA32 SoC"
	select X86
	select CPU_MINUTEIA
	select ARCH_HAS_RESERVED_PAGE_FRAMES if SRAM_BASE_ADDRESS = 0