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
17 select CPU_NO_EFFICIENT_FFS
24 bool "SCORE7 processor"
25 select SYS_SUPPORTS_32BIT_KERNEL
28 bool "SPCT6600 series based machines"
29 select SYS_SUPPORTS_32BIT_KERNEL
32 bool "Score simulator"
33 select SYS_SUPPORTS_32BIT_KERNEL
42 config RWSEM_GENERIC_SPINLOCK
45 config GENERIC_HWEIGHT
48 config GENERIC_CALIBRATE_DELAY
56 config ARCH_FLATMEM_ENABLE
65 source "kernel/Kconfig.hz"
66 source "kernel/Kconfig.preempt"
70 config RWSEM_GENERIC_SPINLOCK
73 config LOCKDEP_SUPPORT
76 config STACKTRACE_SUPPORT
81 source "kernel/Kconfig.freezer"
86 menu "Executable file formats"
88 source "fs/Kconfig.binfmt"
94 source "drivers/Kconfig"
98 source "arch/score/Kconfig.debug"
100 source "security/Kconfig"
102 source "crypto/Kconfig"