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
20 bool "SCORE7 processor"
21 select SYS_SUPPORTS_32BIT_KERNEL
23 select GENERIC_HAS_IOMAP
26 bool "SPCT6600 series based machines"
27 select SYS_SUPPORTS_32BIT_KERNEL
29 select GENERIC_HAS_IOMAP
32 bool "Score simulator"
33 select SYS_SUPPORTS_32BIT_KERNEL
35 select GENERIC_HAS_IOMAP
47 config RWSEM_GENERIC_SPINLOCK
50 config GENERIC_HWEIGHT
53 config GENERIC_CALIBRATE_DELAY
61 config ARCH_FLATMEM_ENABLE
70 source "kernel/Kconfig.hz"
71 source "kernel/Kconfig.preempt"
75 config RWSEM_GENERIC_SPINLOCK
78 config LOCKDEP_SUPPORT
81 config STACKTRACE_SUPPORT
89 menu "Executable file formats"
91 source "fs/Kconfig.binfmt"
97 source "drivers/Kconfig"
101 source "arch/score/Kconfig.debug"
103 source "security/Kconfig"
105 source "crypto/Kconfig"