# SPDX-License-Identifier: GPL-2.0 menu "Machine selection" config SCORE def_bool y select GENERIC_IRQ_SHOW select GENERIC_IOMAP select GENERIC_ATOMIC64 select HAVE_MEMBLOCK select HAVE_MEMBLOCK_NODE_MAP select ARCH_DISCARD_MEMBLOCK select GENERIC_CPU_DEVICES select GENERIC_CLOCKEVENTS select HAVE_MOD_ARCH_SPECIFIC select VIRT_TO_BUS select MODULES_USE_ELF_REL select CLONE_BACKWARDS select CPU_NO_EFFICIENT_FFS choice prompt "System type" default MACH_SPCT6600 config ARCH_SCORE7 bool "SCORE7 processor" select SYS_SUPPORTS_32BIT_KERNEL config MACH_SPCT6600 bool "SPCT6600 series based machines" select SYS_SUPPORTS_32BIT_KERNEL config SCORE_SIM bool "Score simulator" select SYS_SUPPORTS_32BIT_KERNEL endchoice endmenu config NO_DMA bool default y config RWSEM_GENERIC_SPINLOCK def_bool y config GENERIC_HWEIGHT def_bool y config GENERIC_CALIBRATE_DELAY def_bool y menu "Kernel type" config 32BIT def_bool y config ARCH_FLATMEM_ENABLE def_bool y source "mm/Kconfig" config MEMORY_START hex default 0xa0000000 source "kernel/Kconfig.hz" source "kernel/Kconfig.preempt" endmenu config RWSEM_GENERIC_SPINLOCK def_bool y config LOCKDEP_SUPPORT def_bool y config STACKTRACE_SUPPORT def_bool y source "init/Kconfig" source "kernel/Kconfig.freezer" config MMU def_bool y menu "Executable file formats" source "fs/Kconfig.binfmt" endmenu source "net/Kconfig" source "drivers/Kconfig" source "fs/Kconfig" source "arch/score/Kconfig.debug" source "security/Kconfig" source "crypto/Kconfig" source "lib/Kconfig" config NO_IOMEM def_bool y