1 menu "Machine selection"
5 select HAVE_GENERIC_HARDIRQS
6 select GENERIC_IRQ_SHOW
13 bool "SCORE7 processor"
14 select SYS_SUPPORTS_32BIT_KERNEL
16 select GENERIC_HAS_IOMAP
19 bool "SPCT6600 series based machines"
20 select SYS_SUPPORTS_32BIT_KERNEL
22 select GENERIC_HAS_IOMAP
25 bool "Score simulator"
26 select SYS_SUPPORTS_32BIT_KERNEL
28 select GENERIC_HAS_IOMAP
43 config RWSEM_GENERIC_SPINLOCK
46 config GENERIC_HWEIGHT
49 config GENERIC_CALIBRATE_DELAY
52 config GENERIC_CLOCKEVENTS
55 config SCHED_NO_NO_OMIT_FRAME_POINTER
58 config GENERIC_SYSCALL_TABLE
61 config SCORE_L1_CACHE_SHIFT
70 config ARCH_FLATMEM_ENABLE
73 config ARCH_POPULATES_NODE_MAP
82 source "kernel/time/Kconfig"
83 source "kernel/Kconfig.hz"
84 source "kernel/Kconfig.preempt"
88 config RWSEM_GENERIC_SPINLOCK
91 config LOCKDEP_SUPPORT
94 config STACKTRACE_SUPPORT
99 config PROBE_INITRD_HEADER
100 bool "Probe initrd header created by addinitrd"
101 depends on BLK_DEV_INITRD
103 Probe initrd header at the last page of kernel image.
104 Say Y here if you are using arch/score/boot/addinitrd.c to
105 add initrd or initramfs image to the kernel image.
111 menu "Executable file formats"
113 source "fs/Kconfig.binfmt"
119 source "drivers/Kconfig"
123 source "arch/score/Kconfig.debug"
125 source "security/Kconfig"
127 source "crypto/Kconfig"