1 menu "Machine selection"
5 select HAVE_GENERIC_HARDIRQS
12 bool "SCORE7 processor"
13 select SYS_SUPPORTS_32BIT_KERNEL
15 select GENERIC_HAS_IOMAP
18 bool "SPCT6600 series based machines"
19 select SYS_SUPPORTS_32BIT_KERNEL
21 select GENERIC_HAS_IOMAP
24 bool "Score simulator"
25 select SYS_SUPPORTS_32BIT_KERNEL
27 select GENERIC_HAS_IOMAP
42 config RWSEM_GENERIC_SPINLOCK
45 config GENERIC_FIND_NEXT_BIT
48 config GENERIC_HWEIGHT
51 config GENERIC_CALIBRATE_DELAY
54 config GENERIC_CLOCKEVENTS
57 config SCHED_NO_NO_OMIT_FRAME_POINTER
60 config GENERIC_SYSCALL_TABLE
63 config SCORE_L1_CACHE_SHIFT
72 config ARCH_FLATMEM_ENABLE
75 config ARCH_POPULATES_NODE_MAP
84 source "kernel/time/Kconfig"
85 source "kernel/Kconfig.hz"
86 source "kernel/Kconfig.preempt"
90 config RWSEM_GENERIC_SPINLOCK
93 config LOCKDEP_SUPPORT
96 config STACKTRACE_SUPPORT
101 config PROBE_INITRD_HEADER
102 bool "Probe initrd header created by addinitrd"
103 depends on BLK_DEV_INITRD
105 Probe initrd header at the last page of kernel image.
106 Say Y here if you are using arch/score/boot/addinitrd.c to
107 add initrd or initramfs image to the kernel image.
113 menu "Executable file formats"
115 source "fs/Kconfig.binfmt"
121 source "drivers/Kconfig"
125 source "arch/score/Kconfig.debug"
127 source "security/Kconfig"
129 source "crypto/Kconfig"