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
18 select ARCH_HAS_RAW_COPY_USER
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"