1 menu "Machine selection"
5 select GENERIC_IRQ_SHOW
7 select GENERIC_ATOMIC64
9 select HAVE_MEMBLOCK_NODE_MAP
10 select ARCH_DISCARD_MEMBLOCK
11 select GENERIC_CPU_DEVICES
12 select GENERIC_CLOCKEVENTS
13 select HAVE_MOD_ARCH_SPECIFIC
15 select MODULES_USE_ELF_REL
16 select CLONE_BACKWARDS
23 bool "SCORE7 processor"
24 select SYS_SUPPORTS_32BIT_KERNEL
27 bool "SPCT6600 series based machines"
28 select SYS_SUPPORTS_32BIT_KERNEL
31 bool "Score simulator"
32 select SYS_SUPPORTS_32BIT_KERNEL
41 config RWSEM_GENERIC_SPINLOCK
44 config GENERIC_HWEIGHT
47 config GENERIC_CALIBRATE_DELAY
55 config ARCH_FLATMEM_ENABLE
64 source "kernel/Kconfig.hz"
65 source "kernel/Kconfig.preempt"
69 config RWSEM_GENERIC_SPINLOCK
72 config LOCKDEP_SUPPORT
75 config STACKTRACE_SUPPORT
80 source "kernel/Kconfig.freezer"
85 menu "Executable file formats"
87 source "fs/Kconfig.binfmt"
93 source "drivers/Kconfig"
97 source "arch/score/Kconfig.debug"
99 source "security/Kconfig"
101 source "crypto/Kconfig"