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
17 bool "SCORE7 processor"
18 select SYS_SUPPORTS_32BIT_KERNEL
20 select GENERIC_HAS_IOMAP
23 bool "SPCT6600 series based machines"
24 select SYS_SUPPORTS_32BIT_KERNEL
26 select GENERIC_HAS_IOMAP
29 bool "Score simulator"
30 select SYS_SUPPORTS_32BIT_KERNEL
32 select GENERIC_HAS_IOMAP
44 config RWSEM_GENERIC_SPINLOCK
47 config GENERIC_HWEIGHT
50 config GENERIC_CALIBRATE_DELAY
53 config GENERIC_CLOCKEVENTS
61 config ARCH_FLATMEM_ENABLE
70 source "kernel/time/Kconfig"
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"