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
19 bool "SCORE7 processor"
20 select SYS_SUPPORTS_32BIT_KERNEL
22 select GENERIC_HAS_IOMAP
25 bool "SPCT6600 series based machines"
26 select SYS_SUPPORTS_32BIT_KERNEL
28 select GENERIC_HAS_IOMAP
31 bool "Score simulator"
32 select SYS_SUPPORTS_32BIT_KERNEL
34 select GENERIC_HAS_IOMAP
46 config RWSEM_GENERIC_SPINLOCK
49 config GENERIC_HWEIGHT
52 config GENERIC_CALIBRATE_DELAY
60 config ARCH_FLATMEM_ENABLE
69 source "kernel/Kconfig.hz"
70 source "kernel/Kconfig.preempt"
74 config RWSEM_GENERIC_SPINLOCK
77 config LOCKDEP_SUPPORT
80 config STACKTRACE_SUPPORT
88 menu "Executable file formats"
90 source "fs/Kconfig.binfmt"
96 source "drivers/Kconfig"
100 source "arch/score/Kconfig.debug"
102 source "security/Kconfig"
104 source "crypto/Kconfig"