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_HARDIRQS_NO__DO_IRQ
59 config GENERIC_SYSCALL_TABLE
62 config SCORE_L1_CACHE_SHIFT
71 config GENERIC_HARDIRQS
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"