1 menu "Machine selection"
5 select HAVE_GENERIC_HARDIRQS
6 select GENERIC_HARDIRQS_NO_DEPRECATED
7 select GENERIC_IRQ_SHOW
14 bool "SCORE7 processor"
15 select SYS_SUPPORTS_32BIT_KERNEL
17 select GENERIC_HAS_IOMAP
20 bool "SPCT6600 series based machines"
21 select SYS_SUPPORTS_32BIT_KERNEL
23 select GENERIC_HAS_IOMAP
26 bool "Score simulator"
27 select SYS_SUPPORTS_32BIT_KERNEL
29 select GENERIC_HAS_IOMAP
44 config RWSEM_GENERIC_SPINLOCK
47 config GENERIC_FIND_NEXT_BIT
50 config GENERIC_HWEIGHT
53 config GENERIC_CALIBRATE_DELAY
56 config GENERIC_CLOCKEVENTS
59 config SCHED_NO_NO_OMIT_FRAME_POINTER
62 config GENERIC_SYSCALL_TABLE
65 config SCORE_L1_CACHE_SHIFT
74 config ARCH_FLATMEM_ENABLE
77 config ARCH_POPULATES_NODE_MAP
86 source "kernel/time/Kconfig"
87 source "kernel/Kconfig.hz"
88 source "kernel/Kconfig.preempt"
92 config RWSEM_GENERIC_SPINLOCK
95 config LOCKDEP_SUPPORT
98 config STACKTRACE_SUPPORT
101 source "init/Kconfig"
103 config PROBE_INITRD_HEADER
104 bool "Probe initrd header created by addinitrd"
105 depends on BLK_DEV_INITRD
107 Probe initrd header at the last page of kernel image.
108 Say Y here if you are using arch/score/boot/addinitrd.c to
109 add initrd or initramfs image to the kernel image.
115 menu "Executable file formats"
117 source "fs/Kconfig.binfmt"
123 source "drivers/Kconfig"
127 source "arch/score/Kconfig.debug"
129 source "security/Kconfig"
131 source "crypto/Kconfig"