1 # SPDX-License-Identifier: GPL-2.0
2 menu "Machine selection"
6 select GENERIC_IRQ_SHOW
8 select GENERIC_ATOMIC64
10 select HAVE_MEMBLOCK_NODE_MAP
11 select ARCH_DISCARD_MEMBLOCK
12 select GENERIC_CPU_DEVICES
13 select GENERIC_CLOCKEVENTS
14 select HAVE_MOD_ARCH_SPECIFIC
16 select MODULES_USE_ELF_REL
17 select CLONE_BACKWARDS
18 select CPU_NO_EFFICIENT_FFS
25 bool "SCORE7 processor"
26 select SYS_SUPPORTS_32BIT_KERNEL
29 bool "SPCT6600 series based machines"
30 select SYS_SUPPORTS_32BIT_KERNEL
33 bool "Score simulator"
34 select SYS_SUPPORTS_32BIT_KERNEL
43 config RWSEM_GENERIC_SPINLOCK
46 config GENERIC_HWEIGHT
49 config GENERIC_CALIBRATE_DELAY
57 config ARCH_FLATMEM_ENABLE
66 source "kernel/Kconfig.hz"
67 source "kernel/Kconfig.preempt"
71 config RWSEM_GENERIC_SPINLOCK
74 config LOCKDEP_SUPPORT
77 config STACKTRACE_SUPPORT
82 source "kernel/Kconfig.freezer"
87 menu "Executable file formats"
89 source "fs/Kconfig.binfmt"
95 source "drivers/Kconfig"
99 source "arch/score/Kconfig.debug"
101 source "security/Kconfig"
103 source "crypto/Kconfig"