1 menu "Machine selection"
5 select HAVE_GENERIC_HARDIRQS
6 select GENERIC_IRQ_SHOW
14 bool "SCORE7 processor"
15 select SYS_SUPPORTS_32BIT_KERNEL
17 select GENERIC_HAS_IOMAP
20 bool "SPCT6600 series based machines"
21 select SYS_SUPPORTS_32BIT_KERNEL
23 select GENERIC_HAS_IOMAP
26 bool "Score simulator"
27 select SYS_SUPPORTS_32BIT_KERNEL
29 select GENERIC_HAS_IOMAP
41 config RWSEM_GENERIC_SPINLOCK
44 config GENERIC_HWEIGHT
47 config GENERIC_CALIBRATE_DELAY
50 config GENERIC_CLOCKEVENTS
58 config ARCH_FLATMEM_ENABLE
61 config ARCH_POPULATES_NODE_MAP
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"