1 # For a description of the syntax of this configuration file,
2 # see Documentation/kbuild/kconfig-language.txt.
4 mainmenu "Linux/SCORE Kernel Configuration"
6 menu "Machine selection"
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_FIND_NEXT_BIT
49 config GENERIC_HWEIGHT
52 config GENERIC_CALIBRATE_DELAY
55 config GENERIC_CLOCKEVENTS
61 config SCHED_NO_NO_OMIT_FRAME_POINTER
64 config GENERIC_HARDIRQS_NO__DO_IRQ
67 config GENERIC_SYSCALL_TABLE
70 config SCORE_L1_CACHE_SHIFT
79 config GENERIC_HARDIRQS
82 config ARCH_FLATMEM_ENABLE
85 config ARCH_POPULATES_NODE_MAP
94 source "kernel/time/Kconfig"
95 source "kernel/Kconfig.hz"
96 source "kernel/Kconfig.preempt"
100 config RWSEM_GENERIC_SPINLOCK
103 config LOCKDEP_SUPPORT
106 config STACKTRACE_SUPPORT
109 source "init/Kconfig"
111 config PROBE_INITRD_HEADER
112 bool "Probe initrd header created by addinitrd"
113 depends on BLK_DEV_INITRD
115 Probe initrd header at the last page of kernel image.
116 Say Y here if you are using arch/score/boot/addinitrd.c to
117 add initrd or initramfs image to the kernel image.
123 menu "Executable file formats"
125 source "fs/Kconfig.binfmt"
131 source "drivers/Kconfig"
135 source "arch/score/Kconfig.debug"
137 source "security/Kconfig"
139 source "crypto/Kconfig"