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
48 config GENERIC_CLOCKEVENTS
51 config RWSEM_XCHGADD_ALGORITHM
54 config ARCH_HAS_ILOG2_U32
57 config ARCH_HAS_ILOG2_U64
60 config GENERIC_HWEIGHT
63 config GENERIC_CALIBRATE_DELAY
72 source "kernel/Kconfig.freezer"
74 menu "System Type and features"
76 source "kernel/time/Kconfig"
82 config PERFORMANCE_COUNTERS
85 config PLATFORM_AT32AP
89 select PERFORMANCE_COUNTERS
90 select ARCH_REQUIRE_GPIOLIB
91 select GENERIC_ALLOCATOR
100 config CPU_AT32AP700X
102 select PLATFORM_AT32AP
103 config CPU_AT32AP7000
105 select CPU_AT32AP700X
106 config CPU_AT32AP7001
108 select CPU_AT32AP700X
109 config CPU_AT32AP7002
111 select CPU_AT32AP700X
114 config BOARD_ATNGW100_COMMON
116 select CPU_AT32AP7000
119 prompt "AVR32 board type"
120 default BOARD_ATSTK1000
122 config BOARD_ATSTK1000
123 bool "ATSTK1000 evaluation board"
125 config BOARD_ATNGW100_MKI
126 bool "ATNGW100 Network Gateway"
127 select BOARD_ATNGW100_COMMON
129 config BOARD_ATNGW100_MKII
130 bool "ATNGW100 mkII Network Gateway"
131 select BOARD_ATNGW100_COMMON
133 config BOARD_HAMMERHEAD
134 bool "Hammerhead board"
135 select CPU_AT32AP7000
136 select USB_ARCH_HAS_HCD
138 The Hammerhead platform is built around an AVR32 32-bit microcontroller from Atmel.
139 It offers versatile peripherals, such as ethernet, usb device, usb host etc.
141 The board also incorporates a power supply and is a Power over Ethernet (PoE) Powered
144 Additionally, a Cyclone III FPGA from Altera is integrated on the board. The FPGA is
145 mapped into the 32-bit AVR memory bus. The FPGA offers two DDR2 SDRAM interfaces, which
146 will cover even the most exceptional need of memory bandwidth. Together with the onboard
147 video decoder the board is ready for video processing.
149 For more information see: http://www.miromico.ch/index.php/hammerhead.html
152 bool "Favr-32 LCD-board"
153 select CPU_AT32AP7000
157 select CPU_AT32AP7000
159 Merisc is the family name for a range of AVR32-based boards.
161 The boards are designed to be used in a man-machine
162 interfacing environment, utilizing a touch-based graphical
163 user interface. They host a vast range of I/O peripherals as
164 well as a large SDRAM & Flash memory bank.
166 For more information see: http://www.martinsson.se/merisc
169 bool "MIMC200 CPU board"
170 select CPU_AT32AP7000
173 source "arch/avr32/boards/atstk1000/Kconfig"
174 source "arch/avr32/boards/atngw100/Kconfig"
175 source "arch/avr32/boards/hammerhead/Kconfig"
176 source "arch/avr32/boards/favr-32/Kconfig"
177 source "arch/avr32/boards/merisc/Kconfig"
180 prompt "Boot loader type"
181 default LOADER_U_BOOT
184 bool "U-Boot (or similar) bootloader"
187 source "arch/avr32/mach-at32ap/Kconfig"
191 default 0x10000000 if LOADER_U_BOOT=y && CPU_AT32AP700X=y
195 default 0x90000000 if LOADER_U_BOOT=y && CPU_AT32AP700X=y
199 default 0x10000000 if CPU_AT32AP700X=y
201 source "kernel/Kconfig.preempt"
206 config HAVE_ARCH_BOOTMEM
209 config ARCH_HAVE_MEMORY_PRESENT
212 config NEED_NODE_MEMMAP_SIZE
215 config ARCH_FLATMEM_ENABLE
218 config ARCH_DISCONTIGMEM_ENABLE
221 config ARCH_SPARSEMEM_ENABLE
226 config OWNERSHIP_TRACE
227 bool "Ownership trace support"
230 Say Y to generate an Ownership Trace message on every context switch,
231 enabling Nexus-compliant debuggers to keep track of the PID of the
232 currently executing task.
238 Say Y here and pass the nmi_debug command-line parameter to
239 the kernel to turn on NMI debugging. Depending on the value
240 of the nmi_debug option, various pieces of information will
241 be dumped to the console when a Non-Maskable Interrupt
244 # FPU emulation goes here
246 source "kernel/Kconfig.hz"
249 string "Default kernel command line"
252 If you don't have a boot loader capable of passing a command line string
253 to the kernel, you may specify one here. As a minimum, you should specify
254 the memory size and the root device (e.g., mem=8M, root=/dev/nfs).
258 menu "Power management options"
260 source "kernel/power/Kconfig"
262 config ARCH_SUSPEND_POSSIBLE
265 menu "CPU Frequency scaling"
267 source "drivers/cpufreq/Kconfig"
269 config CPU_FREQ_AT32AP
270 bool "CPU frequency driver for AT32AP"
271 depends on CPU_FREQ && PLATFORM_AT32AP
274 This enables the CPU frequency driver for AT32AP processors.
276 For details, take a look in <file:Documentation/cpu-freq>.
289 source "drivers/pci/Kconfig"
291 source "drivers/pcmcia/Kconfig"
295 menu "Executable file formats"
296 source "fs/Kconfig.binfmt"
301 source "drivers/Kconfig"
305 source "arch/avr32/Kconfig.debug"
307 source "security/Kconfig"
309 source "crypto/Kconfig"