1 menu "Machine selection"
5 select HAVE_GENERIC_HARDIRQS
6 select GENERIC_IRQ_SHOW
8 select GENERIC_ATOMIC64
10 select HAVE_MEMBLOCK_NODE_MAP
11 select ARCH_DISCARD_MEMBLOCK
12 select GENERIC_CPU_DEVICES
13 select GENERIC_CLOCKEVENTS
14 select HAVE_MOD_ARCH_SPECIFIC
16 select MODULES_USE_ELF_REL
17 select CLONE_BACKWARDS
24 bool "SCORE7 processor"
25 select SYS_SUPPORTS_32BIT_KERNEL
27 select GENERIC_HAS_IOMAP
30 bool "SPCT6600 series based machines"
31 select SYS_SUPPORTS_32BIT_KERNEL
33 select GENERIC_HAS_IOMAP
36 bool "Score simulator"
37 select SYS_SUPPORTS_32BIT_KERNEL
39 select GENERIC_HAS_IOMAP
51 config RWSEM_GENERIC_SPINLOCK
54 config GENERIC_HWEIGHT
57 config GENERIC_CALIBRATE_DELAY
65 config ARCH_FLATMEM_ENABLE
74 source "kernel/Kconfig.hz"
75 source "kernel/Kconfig.preempt"
79 config RWSEM_GENERIC_SPINLOCK
82 config LOCKDEP_SUPPORT
85 config STACKTRACE_SUPPORT
90 source "kernel/Kconfig.freezer"
95 menu "Executable file formats"
97 source "fs/Kconfig.binfmt"
103 source "drivers/Kconfig"
107 source "arch/score/Kconfig.debug"
109 source "security/Kconfig"
111 source "crypto/Kconfig"