1 menu "Machine selection"
5 select HAVE_GENERIC_HARDIRQS
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
15 select MODULES_USE_ELF_REL
16 select GENERIC_KERNEL_THREAD
17 select GENERIC_KERNEL_EXECVE
18 select CLONE_BACKWARDS
25 bool "SCORE7 processor"
26 select SYS_SUPPORTS_32BIT_KERNEL
28 select GENERIC_HAS_IOMAP
31 bool "SPCT6600 series based machines"
32 select SYS_SUPPORTS_32BIT_KERNEL
34 select GENERIC_HAS_IOMAP
37 bool "Score simulator"
38 select SYS_SUPPORTS_32BIT_KERNEL
40 select GENERIC_HAS_IOMAP
52 config RWSEM_GENERIC_SPINLOCK
55 config GENERIC_HWEIGHT
58 config GENERIC_CALIBRATE_DELAY
66 config ARCH_FLATMEM_ENABLE
75 source "kernel/Kconfig.hz"
76 source "kernel/Kconfig.preempt"
80 config RWSEM_GENERIC_SPINLOCK
83 config LOCKDEP_SUPPORT
86 config STACKTRACE_SUPPORT
94 menu "Executable file formats"
96 source "fs/Kconfig.binfmt"
102 source "drivers/Kconfig"
106 source "arch/score/Kconfig.debug"
108 source "security/Kconfig"
110 source "crypto/Kconfig"