1 menu "Machine selection"
5 select HAVE_GENERIC_HARDIRQS
6 select GENERIC_IRQ_SHOW
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
14 select MODULES_USE_ELF_REL
21 bool "SCORE7 processor"
22 select SYS_SUPPORTS_32BIT_KERNEL
24 select GENERIC_HAS_IOMAP
27 bool "SPCT6600 series based machines"
28 select SYS_SUPPORTS_32BIT_KERNEL
30 select GENERIC_HAS_IOMAP
33 bool "Score simulator"
34 select SYS_SUPPORTS_32BIT_KERNEL
36 select GENERIC_HAS_IOMAP
48 config RWSEM_GENERIC_SPINLOCK
51 config GENERIC_HWEIGHT
54 config GENERIC_CALIBRATE_DELAY
62 config ARCH_FLATMEM_ENABLE
71 source "kernel/Kconfig.hz"
72 source "kernel/Kconfig.preempt"
76 config RWSEM_GENERIC_SPINLOCK
79 config LOCKDEP_SUPPORT
82 config STACKTRACE_SUPPORT
90 menu "Executable file formats"
92 source "fs/Kconfig.binfmt"
98 source "drivers/Kconfig"
102 source "arch/score/Kconfig.debug"
104 source "security/Kconfig"
106 source "crypto/Kconfig"