2 # For a description of the syntax of this configuration file,
3 # see Documentation/kbuild/kconfig-language.txt.
6 mainmenu "Linux Kernel Configuration"
10 # With EMBEDDED=n, we get lots of stuff automatically selected
11 # that we usually don't need on AVR32.
16 AVR32 is a high-performance 32-bit RISC microprocessor core,
17 designed for cost-sensitive embedded applications, with particular
18 emphasis on low power consumption and high code density.
20 There is an AVR32 Linux project with a web page at
21 http://avr32linux.org/.
26 config GENERIC_HARDIRQS
29 config STACKTRACE_SUPPORT
32 config LOCKDEP_SUPPORT
35 config TRACE_IRQFLAGS_SUPPORT
38 config HARDIRQS_SW_RESEND
41 config GENERIC_IRQ_PROBE
44 config RWSEM_GENERIC_SPINLOCK
50 config RWSEM_XCHGADD_ALGORITHM
53 config ARCH_HAS_ILOG2_U32
56 config ARCH_HAS_ILOG2_U64
59 config GENERIC_HWEIGHT
62 config GENERIC_CALIBRATE_DELAY
71 menu "System Type and features"
77 config PERFORMANCE_COUNTERS
80 config PLATFORM_AT32AP
84 select PERFORMANCE_COUNTERS
94 select PLATFORM_AT32AP
100 select CPU_AT32AP700X
101 config CPU_AT32AP7002
103 select CPU_AT32AP700X
106 prompt "AVR32 board type"
107 default BOARD_ATSTK1000
109 config BOARD_ATSTK1000
110 bool "ATSTK1000 evaluation board"
112 config BOARD_ATNGW100
113 bool "ATNGW100 Network Gateway"
114 select CPU_AT32AP7000
118 source "arch/avr32/boards/atstk1000/Kconfig"
122 prompt "Boot loader type"
123 default LOADER_U_BOOT
126 bool "U-Boot (or similar) bootloader"
129 source "arch/avr32/mach-at32ap/Kconfig"
133 default 0x10000000 if LOADER_U_BOOT=y && CPU_AT32AP700X=y
137 default 0x90000000 if LOADER_U_BOOT=y && CPU_AT32AP700X=y
141 default 0x10000000 if CPU_AT32AP700X=y
143 source "kernel/Kconfig.preempt"
145 config HAVE_ARCH_BOOTMEM_NODE
148 config ARCH_HAVE_MEMORY_PRESENT
151 config NEED_NODE_MEMMAP_SIZE
154 config ARCH_FLATMEM_ENABLE
157 config ARCH_DISCONTIGMEM_ENABLE
160 config ARCH_SPARSEMEM_ENABLE
165 config OWNERSHIP_TRACE
166 bool "Ownership trace support"
169 Say Y to generate an Ownership Trace message on every context switch,
170 enabling Nexus-compliant debuggers to keep track of the PID of the
171 currently executing task.
177 Say Y here and pass the nmi_debug command-line parameter to
178 the kernel to turn on NMI debugging. Depending on the value
179 of the nmi_debug option, various pieces of information will
180 be dumped to the console when a Non-Maskable Interrupt
183 # FPU emulation goes here
185 source "kernel/Kconfig.hz"
188 string "Default kernel command line"
191 If you don't have a boot loader capable of passing a command line string
192 to the kernel, you may specify one here. As a minimum, you should specify
193 the memory size and the root device (e.g., mem=8M, root=/dev/nfs).
197 menu "Power management options"
199 menu "CPU Frequency scaling"
201 source "drivers/cpufreq/Kconfig"
203 config CPU_FREQ_AT32AP
204 bool "CPU frequency driver for AT32AP"
205 depends on CPU_FREQ && PLATFORM_AT32AP
208 This enables the CPU frequency driver for AT32AP processors.
210 For details, take a look in <file:Documentation/cpu-freq>.
223 source "drivers/pci/Kconfig"
225 source "drivers/pcmcia/Kconfig"
229 menu "Executable file formats"
230 source "fs/Kconfig.binfmt"
235 source "drivers/Kconfig"
239 source "arch/avr32/Kconfig.debug"
241 source "security/Kconfig"
243 source "crypto/Kconfig"