1 menu "Machine selection"
8 bool "SCORE7 processor"
9 select SYS_SUPPORTS_32BIT_KERNEL
11 select GENERIC_HAS_IOMAP
14 bool "SPCT6600 series based machines"
15 select SYS_SUPPORTS_32BIT_KERNEL
17 select GENERIC_HAS_IOMAP
20 bool "Score simulator"
21 select SYS_SUPPORTS_32BIT_KERNEL
23 select GENERIC_HAS_IOMAP
38 config RWSEM_GENERIC_SPINLOCK
41 config GENERIC_FIND_NEXT_BIT
44 config GENERIC_HWEIGHT
47 config GENERIC_CALIBRATE_DELAY
50 config GENERIC_CLOCKEVENTS
53 config SCHED_NO_NO_OMIT_FRAME_POINTER
56 config GENERIC_SYSCALL_TABLE
59 config SCORE_L1_CACHE_SHIFT
68 config GENERIC_HARDIRQS
71 config ARCH_FLATMEM_ENABLE
74 config ARCH_POPULATES_NODE_MAP
83 source "kernel/time/Kconfig"
84 source "kernel/Kconfig.hz"
85 source "kernel/Kconfig.preempt"
89 config RWSEM_GENERIC_SPINLOCK
92 config LOCKDEP_SUPPORT
95 config STACKTRACE_SUPPORT
100 config PROBE_INITRD_HEADER
101 bool "Probe initrd header created by addinitrd"
102 depends on BLK_DEV_INITRD
104 Probe initrd header at the last page of kernel image.
105 Say Y here if you are using arch/score/boot/addinitrd.c to
106 add initrd or initramfs image to the kernel image.
112 menu "Executable file formats"
114 source "fs/Kconfig.binfmt"
120 source "drivers/Kconfig"
124 source "arch/score/Kconfig.debug"
126 source "security/Kconfig"
128 source "crypto/Kconfig"