1 menu "Machine selection"
5 select HAVE_GENERIC_HARDIRQS
6 select GENERIC_IRQ_SHOW
8 select HAVE_MEMBLOCK_NODE_MAP
9 select ARCH_DISCARD_MEMBLOCK
16 bool "SCORE7 processor"
17 select SYS_SUPPORTS_32BIT_KERNEL
19 select GENERIC_HAS_IOMAP
22 bool "SPCT6600 series based machines"
23 select SYS_SUPPORTS_32BIT_KERNEL
25 select GENERIC_HAS_IOMAP
28 bool "Score simulator"
29 select SYS_SUPPORTS_32BIT_KERNEL
31 select GENERIC_HAS_IOMAP
46 config RWSEM_GENERIC_SPINLOCK
49 config GENERIC_HWEIGHT
52 config GENERIC_CALIBRATE_DELAY
55 config GENERIC_CLOCKEVENTS
63 config ARCH_FLATMEM_ENABLE
72 source "kernel/time/Kconfig"
73 source "kernel/Kconfig.hz"
74 source "kernel/Kconfig.preempt"
78 config RWSEM_GENERIC_SPINLOCK
81 config LOCKDEP_SUPPORT
84 config STACKTRACE_SUPPORT
92 menu "Executable file formats"
94 source "fs/Kconfig.binfmt"
100 source "drivers/Kconfig"
104 source "arch/score/Kconfig.debug"
106 source "security/Kconfig"
108 source "crypto/Kconfig"