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
93 menu "Executable file formats"
95 source "fs/Kconfig.binfmt"
101 source "drivers/Kconfig"
105 source "arch/score/Kconfig.debug"
107 source "security/Kconfig"
109 source "crypto/Kconfig"