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 config BOARD_ATNGW100_COMMON
117 select CPU_AT32AP7000
120 prompt "AVR32 board type"
121 default BOARD_ATSTK1000
123 config BOARD_ATSTK1000
124 bool "ATSTK1000 evaluation board"
126 config BOARD_ATNGW100_MKI
127 bool "ATNGW100 Network Gateway"
128 select BOARD_ATNGW100_COMMON
130 config BOARD_ATNGW100_MKII
131 bool "ATNGW100 mkII Network Gateway"
132 select BOARD_ATNGW100_COMMON
134 config BOARD_HAMMERHEAD
135 bool "Hammerhead board"
136 select CPU_AT32AP7000
137 select USB_ARCH_HAS_HCD
139 The Hammerhead platform is built around an AVR32 32-bit microcontroller from Atmel.
140 It offers versatile peripherals, such as ethernet, usb device, usb host etc.
142 The board also incorporates a power supply and is a Power over Ethernet (PoE) Powered
145 Additionally, a Cyclone III FPGA from Altera is integrated on the board. The FPGA is
146 mapped into the 32-bit AVR memory bus. The FPGA offers two DDR2 SDRAM interfaces, which
147 will cover even the most exceptional need of memory bandwidth. Together with the onboard
148 video decoder the board is ready for video processing.
150 For more information see: http://www.miromico.com/hammerhead
153 bool "Favr-32 LCD-board"
154 select CPU_AT32AP7000
158 select CPU_AT32AP7000
160 Merisc is the family name for a range of AVR32-based boards.
162 The boards are designed to be used in a man-machine
163 interfacing environment, utilizing a touch-based graphical
164 user interface. They host a vast range of I/O peripherals as
165 well as a large SDRAM & Flash memory bank.
167 For more information see: http://www.martinsson.se/merisc
170 bool "MIMC200 CPU board"
171 select CPU_AT32AP7000
174 source "arch/avr32/boards/atstk1000/Kconfig"
175 source "arch/avr32/boards/atngw100/Kconfig"
176 source "arch/avr32/boards/hammerhead/Kconfig"
177 source "arch/avr32/boards/favr-32/Kconfig"
178 source "arch/avr32/boards/merisc/Kconfig"
181 prompt "Boot loader type"
182 default LOADER_U_BOOT
185 bool "U-Boot (or similar) bootloader"
188 source "arch/avr32/mach-at32ap/Kconfig"
192 default 0x10000000 if LOADER_U_BOOT=y && CPU_AT32AP700X=y
196 default 0x90000000 if LOADER_U_BOOT=y && CPU_AT32AP700X=y
200 default 0x10000000 if CPU_AT32AP700X=y
202 source "kernel/Kconfig.preempt"
207 config HAVE_ARCH_BOOTMEM
210 config ARCH_HAVE_MEMORY_PRESENT
213 config NEED_NODE_MEMMAP_SIZE
216 config ARCH_FLATMEM_ENABLE
219 config ARCH_DISCONTIGMEM_ENABLE
222 config ARCH_SPARSEMEM_ENABLE
227 config OWNERSHIP_TRACE
228 bool "Ownership trace support"
231 Say Y to generate an Ownership Trace message on every context switch,
232 enabling Nexus-compliant debuggers to keep track of the PID of the
233 currently executing task.
239 Say Y here and pass the nmi_debug command-line parameter to
240 the kernel to turn on NMI debugging. Depending on the value
241 of the nmi_debug option, various pieces of information will
242 be dumped to the console when a Non-Maskable Interrupt
245 # FPU emulation goes here
247 source "kernel/Kconfig.hz"
250 string "Default kernel command line"
253 If you don't have a boot loader capable of passing a command line string
254 to the kernel, you may specify one here. As a minimum, you should specify
255 the memory size and the root device (e.g., mem=8M, root=/dev/nfs).
259 menu "Power management options"
261 source "kernel/power/Kconfig"
263 config ARCH_SUSPEND_POSSIBLE
266 menu "CPU Frequency scaling"
268 source "drivers/cpufreq/Kconfig"
270 config CPU_FREQ_AT32AP
271 bool "CPU frequency driver for AT32AP"
272 depends on CPU_FREQ && PLATFORM_AT32AP
275 This enables the CPU frequency driver for AT32AP processors.
277 For details, take a look in <file:Documentation/cpu-freq>.
290 source "drivers/pci/Kconfig"
292 source "drivers/pcmcia/Kconfig"
296 menu "Executable file formats"
297 source "fs/Kconfig.binfmt"
302 source "drivers/Kconfig"
306 source "arch/avr32/Kconfig.debug"
308 source "security/Kconfig"
310 source "crypto/Kconfig"