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
22 bool "SCORE7 processor"
23 select SYS_SUPPORTS_32BIT_KERNEL
25 select GENERIC_HAS_IOMAP
28 bool "SPCT6600 series based machines"
29 select SYS_SUPPORTS_32BIT_KERNEL
31 select GENERIC_HAS_IOMAP
34 bool "Score simulator"
35 select SYS_SUPPORTS_32BIT_KERNEL
37 select GENERIC_HAS_IOMAP
49 config RWSEM_GENERIC_SPINLOCK
52 config GENERIC_HWEIGHT
55 config GENERIC_CALIBRATE_DELAY
63 config ARCH_FLATMEM_ENABLE
72 source "kernel/Kconfig.hz"
73 source "kernel/Kconfig.preempt"
77 config RWSEM_GENERIC_SPINLOCK
80 config LOCKDEP_SUPPORT
83 config STACKTRACE_SUPPORT
91 menu "Executable file formats"
93 source "fs/Kconfig.binfmt"
99 source "drivers/Kconfig"
103 source "arch/score/Kconfig.debug"
105 source "security/Kconfig"
107 source "crypto/Kconfig"