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 CLONE_BACKWARDS
23 bool "SCORE7 processor"
24 select SYS_SUPPORTS_32BIT_KERNEL
26 select GENERIC_HAS_IOMAP
29 bool "SPCT6600 series based machines"
30 select SYS_SUPPORTS_32BIT_KERNEL
32 select GENERIC_HAS_IOMAP
35 bool "Score simulator"
36 select SYS_SUPPORTS_32BIT_KERNEL
38 select GENERIC_HAS_IOMAP
50 config RWSEM_GENERIC_SPINLOCK
53 config GENERIC_HWEIGHT
56 config GENERIC_CALIBRATE_DELAY
64 config ARCH_FLATMEM_ENABLE
73 source "kernel/Kconfig.hz"
74 source "kernel/Kconfig.preempt"
78 config RWSEM_GENERIC_SPINLOCK
81 config LOCKDEP_SUPPORT
84 config STACKTRACE_SUPPORT
92 menu "Executable file formats"
94 source "fs/Kconfig.binfmt"
100 source "drivers/Kconfig"
104 source "arch/score/Kconfig.debug"
106 source "security/Kconfig"
108 source "crypto/Kconfig"