3 # With EXPERT=n, we get lots of stuff automatically selected
4 # that we usually don't need on AVR32.
9 select HAVE_GENERIC_HARDIRQS
10 select GENERIC_IRQ_PROBE
11 select GENERIC_ATOMIC64
12 select HARDIRQS_SW_RESEND
13 select GENERIC_IRQ_SHOW
14 select ARCH_HAVE_NMI_SAFE_CMPXCHG
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 STACKTRACE_SUPPORT
29 config LOCKDEP_SUPPORT
32 config TRACE_IRQFLAGS_SUPPORT
35 config RWSEM_GENERIC_SPINLOCK
38 config GENERIC_CLOCKEVENTS
41 config RWSEM_XCHGADD_ALGORITHM
44 config ARCH_HAS_ILOG2_U32
47 config ARCH_HAS_ILOG2_U64
50 config GENERIC_HWEIGHT
53 config GENERIC_CALIBRATE_DELAY
62 source "kernel/Kconfig.freezer"
64 menu "System Type and features"
66 source "kernel/time/Kconfig"
72 config PERFORMANCE_COUNTERS
75 config PLATFORM_AT32AP
79 select PERFORMANCE_COUNTERS
80 select ARCH_REQUIRE_GPIOLIB
81 select GENERIC_ALLOCATOR
92 select PLATFORM_AT32AP
101 select CPU_AT32AP700X
104 config BOARD_ATNGW100_COMMON
106 select CPU_AT32AP7000
109 prompt "AVR32 board type"
110 default BOARD_ATSTK1000
112 config BOARD_ATSTK1000
113 bool "ATSTK1000 evaluation board"
115 config BOARD_ATNGW100_MKI
116 bool "ATNGW100 Network Gateway"
117 select BOARD_ATNGW100_COMMON
119 config BOARD_ATNGW100_MKII
120 bool "ATNGW100 mkII Network Gateway"
121 select BOARD_ATNGW100_COMMON
123 config BOARD_HAMMERHEAD
124 bool "Hammerhead board"
125 select CPU_AT32AP7000
126 select USB_ARCH_HAS_HCD
128 The Hammerhead platform is built around an AVR32 32-bit microcontroller from Atmel.
129 It offers versatile peripherals, such as ethernet, usb device, usb host etc.
131 The board also incorporates a power supply and is a Power over Ethernet (PoE) Powered
134 Additionally, a Cyclone III FPGA from Altera is integrated on the board. The FPGA is
135 mapped into the 32-bit AVR memory bus. The FPGA offers two DDR2 SDRAM interfaces, which
136 will cover even the most exceptional need of memory bandwidth. Together with the onboard
137 video decoder the board is ready for video processing.
139 For more information see: http://www.miromico.ch/index.php/hammerhead.html
142 bool "Favr-32 LCD-board"
143 select CPU_AT32AP7000
147 select CPU_AT32AP7000
149 Merisc is the family name for a range of AVR32-based boards.
151 The boards are designed to be used in a man-machine
152 interfacing environment, utilizing a touch-based graphical
153 user interface. They host a vast range of I/O peripherals as
154 well as a large SDRAM & Flash memory bank.
156 For more information see: http://www.martinsson.se/merisc
159 bool "MIMC200 CPU board"
160 select CPU_AT32AP7000
163 source "arch/avr32/boards/atstk1000/Kconfig"
164 source "arch/avr32/boards/atngw100/Kconfig"
165 source "arch/avr32/boards/hammerhead/Kconfig"
166 source "arch/avr32/boards/favr-32/Kconfig"
167 source "arch/avr32/boards/merisc/Kconfig"
170 prompt "Boot loader type"
171 default LOADER_U_BOOT
174 bool "U-Boot (or similar) bootloader"
177 source "arch/avr32/mach-at32ap/Kconfig"
181 default 0x10000000 if LOADER_U_BOOT=y && CPU_AT32AP700X=y
185 default 0x90000000 if LOADER_U_BOOT=y && CPU_AT32AP700X=y
189 default 0x10000000 if CPU_AT32AP700X=y
191 source "kernel/Kconfig.preempt"
196 config HAVE_ARCH_BOOTMEM
199 config ARCH_HAVE_MEMORY_PRESENT
202 config NEED_NODE_MEMMAP_SIZE
205 config ARCH_FLATMEM_ENABLE
208 config ARCH_DISCONTIGMEM_ENABLE
211 config ARCH_SPARSEMEM_ENABLE
216 config OWNERSHIP_TRACE
217 bool "Ownership trace support"
220 Say Y to generate an Ownership Trace message on every context switch,
221 enabling Nexus-compliant debuggers to keep track of the PID of the
222 currently executing task.
228 Say Y here and pass the nmi_debug command-line parameter to
229 the kernel to turn on NMI debugging. Depending on the value
230 of the nmi_debug option, various pieces of information will
231 be dumped to the console when a Non-Maskable Interrupt
234 # FPU emulation goes here
236 source "kernel/Kconfig.hz"
239 string "Default kernel command line"
242 If you don't have a boot loader capable of passing a command line string
243 to the kernel, you may specify one here. As a minimum, you should specify
244 the memory size and the root device (e.g., mem=8M, root=/dev/nfs).
248 menu "Power management options"
250 source "kernel/power/Kconfig"
252 config ARCH_SUSPEND_POSSIBLE
255 menu "CPU Frequency scaling"
257 source "drivers/cpufreq/Kconfig"
259 config CPU_FREQ_AT32AP
260 bool "CPU frequency driver for AT32AP"
261 depends on CPU_FREQ && PLATFORM_AT32AP
264 This enables the CPU frequency driver for AT32AP processors.
266 For details, take a look in <file:Documentation/cpu-freq>.
279 source "drivers/pci/Kconfig"
281 source "drivers/pcmcia/Kconfig"
285 menu "Executable file formats"
286 source "fs/Kconfig.binfmt"
291 source "drivers/Kconfig"
295 source "arch/avr32/Kconfig.debug"
297 source "security/Kconfig"
299 source "crypto/Kconfig"