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
18 bool "SCORE7 processor"
19 select SYS_SUPPORTS_32BIT_KERNEL
21 select GENERIC_HAS_IOMAP
24 bool "SPCT6600 series based machines"
25 select SYS_SUPPORTS_32BIT_KERNEL
27 select GENERIC_HAS_IOMAP
30 bool "Score simulator"
31 select SYS_SUPPORTS_32BIT_KERNEL
33 select GENERIC_HAS_IOMAP
45 config RWSEM_GENERIC_SPINLOCK
48 config GENERIC_HWEIGHT
51 config GENERIC_CALIBRATE_DELAY
54 config GENERIC_CLOCKEVENTS
62 config ARCH_FLATMEM_ENABLE
71 source "kernel/time/Kconfig"
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"