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.
17 AVR32 is a high-performance 32-bit RISC microprocessor core,
18 designed for cost-sensitive embedded applications, with particular
19 emphasis on low power consumption and high code density.
21 There is an AVR32 Linux project with a web page at
22 http://avr32linux.org/.
27 config GENERIC_HARDIRQS
30 config STACKTRACE_SUPPORT
33 config LOCKDEP_SUPPORT
36 config TRACE_IRQFLAGS_SUPPORT
39 config HARDIRQS_SW_RESEND
42 config GENERIC_IRQ_PROBE
45 config RWSEM_GENERIC_SPINLOCK
51 config GENERIC_CLOCKEVENTS
54 config RWSEM_XCHGADD_ALGORITHM
57 config ARCH_HAS_ILOG2_U32
60 config ARCH_HAS_ILOG2_U64
63 config GENERIC_HWEIGHT
66 config GENERIC_CALIBRATE_DELAY
75 source "kernel/Kconfig.freezer"
77 menu "System Type and features"
79 source "kernel/time/Kconfig"
85 config PERFORMANCE_COUNTERS
88 config PLATFORM_AT32AP
92 select PERFORMANCE_COUNTERS
93 select ARCH_REQUIRE_GPIOLIB
94 select GENERIC_ALLOCATOR
101 config CPU_AT32AP700X
103 select PLATFORM_AT32AP
104 config CPU_AT32AP7000
106 select CPU_AT32AP700X
107 config CPU_AT32AP7001
109 select CPU_AT32AP700X
110 config CPU_AT32AP7002
112 select CPU_AT32AP700X
115 prompt "AVR32 board type"
116 default BOARD_ATSTK1000
118 config BOARD_ATSTK1000
119 bool "ATSTK1000 evaluation board"
121 config BOARD_ATNGW100
122 bool "ATNGW100 Network Gateway"
123 select CPU_AT32AP7000
125 config BOARD_HAMMERHEAD
126 bool "Hammerhead board"
127 select CPU_AT32AP7000
128 select USB_ARCH_HAS_HCD
130 The Hammerhead platform is built around a AVR32 32-bit microcontroller from Atmel.
131 It offers versatile peripherals, such as ethernet, usb device, usb host etc.
133 The board also incooperates a power supply and is a Power over Ethernet (PoE) Powered
136 Additonally, a Cyclone III FPGA from Altera is integrated on the board. The FPGA is
137 mapped into the 32-bit AVR memory bus. The FPGA offers two DDR2 SDRAM interfaces, which
138 will cover even the most exceptional need of memory bandwidth. Together with the onboard
139 video decoder the board is ready for video processing.
141 For more information see: http://www.miromico.com/hammerhead
144 bool "Favr-32 LCD-board"
145 select CPU_AT32AP7000
148 bool "MIMC200 CPU board"
149 select CPU_AT32AP7000
152 source "arch/avr32/boards/atstk1000/Kconfig"
153 source "arch/avr32/boards/atngw100/Kconfig"
154 source "arch/avr32/boards/hammerhead/Kconfig"
155 source "arch/avr32/boards/favr-32/Kconfig"
158 prompt "Boot loader type"
159 default LOADER_U_BOOT
162 bool "U-Boot (or similar) bootloader"
165 source "arch/avr32/mach-at32ap/Kconfig"
169 default 0x10000000 if LOADER_U_BOOT=y && CPU_AT32AP700X=y
173 default 0x90000000 if LOADER_U_BOOT=y && CPU_AT32AP700X=y
177 default 0x10000000 if CPU_AT32AP700X=y
179 source "kernel/Kconfig.preempt"
184 config HAVE_ARCH_BOOTMEM
187 config ARCH_HAVE_MEMORY_PRESENT
190 config NEED_NODE_MEMMAP_SIZE
193 config ARCH_FLATMEM_ENABLE
196 config ARCH_DISCONTIGMEM_ENABLE
199 config ARCH_SPARSEMEM_ENABLE
204 config OWNERSHIP_TRACE
205 bool "Ownership trace support"
208 Say Y to generate an Ownership Trace message on every context switch,
209 enabling Nexus-compliant debuggers to keep track of the PID of the
210 currently executing task.
216 Say Y here and pass the nmi_debug command-line parameter to
217 the kernel to turn on NMI debugging. Depending on the value
218 of the nmi_debug option, various pieces of information will
219 be dumped to the console when a Non-Maskable Interrupt
222 # FPU emulation goes here
224 source "kernel/Kconfig.hz"
227 string "Default kernel command line"
230 If you don't have a boot loader capable of passing a command line string
231 to the kernel, you may specify one here. As a minimum, you should specify
232 the memory size and the root device (e.g., mem=8M, root=/dev/nfs).
236 menu "Power management options"
238 source "kernel/power/Kconfig"
240 config ARCH_SUSPEND_POSSIBLE
243 menu "CPU Frequency scaling"
245 source "drivers/cpufreq/Kconfig"
247 config CPU_FREQ_AT32AP
248 bool "CPU frequency driver for AT32AP"
249 depends on CPU_FREQ && PLATFORM_AT32AP
252 This enables the CPU frequency driver for AT32AP processors.
254 For details, take a look in <file:Documentation/cpu-freq>.
267 source "drivers/pci/Kconfig"
269 source "drivers/pcmcia/Kconfig"
273 menu "Executable file formats"
274 source "fs/Kconfig.binfmt"
279 source "drivers/Kconfig"
283 source "arch/avr32/Kconfig.debug"
285 source "security/Kconfig"
287 source "crypto/Kconfig"