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
101 select PLATFORM_AT32AP
102 config CPU_AT32AP7000
104 select CPU_AT32AP700X
105 config CPU_AT32AP7001
107 select CPU_AT32AP700X
108 config CPU_AT32AP7002
110 select CPU_AT32AP700X
113 config BOARD_ATNGW100_COMMON
115 select CPU_AT32AP7000
118 prompt "AVR32 board type"
119 default BOARD_ATSTK1000
121 config BOARD_ATSTK1000
122 bool "ATSTK1000 evaluation board"
124 config BOARD_ATNGW100_MKI
125 bool "ATNGW100 Network Gateway"
126 select BOARD_ATNGW100_COMMON
128 config BOARD_ATNGW100_MKII
129 bool "ATNGW100 mkII Network Gateway"
130 select BOARD_ATNGW100_COMMON
132 config BOARD_HAMMERHEAD
133 bool "Hammerhead board"
134 select CPU_AT32AP7000
135 select USB_ARCH_HAS_HCD
137 The Hammerhead platform is built around an AVR32 32-bit microcontroller from Atmel.
138 It offers versatile peripherals, such as ethernet, usb device, usb host etc.
140 The board also incorporates a power supply and is a Power over Ethernet (PoE) Powered
143 Additionally, a Cyclone III FPGA from Altera is integrated on the board. The FPGA is
144 mapped into the 32-bit AVR memory bus. The FPGA offers two DDR2 SDRAM interfaces, which
145 will cover even the most exceptional need of memory bandwidth. Together with the onboard
146 video decoder the board is ready for video processing.
148 For more information see: http://www.miromico.com/hammerhead
151 bool "Favr-32 LCD-board"
152 select CPU_AT32AP7000
156 select CPU_AT32AP7000
158 Merisc is the family name for a range of AVR32-based boards.
160 The boards are designed to be used in a man-machine
161 interfacing environment, utilizing a touch-based graphical
162 user interface. They host a vast range of I/O peripherals as
163 well as a large SDRAM & Flash memory bank.
165 For more information see: http://www.martinsson.se/merisc
168 bool "MIMC200 CPU board"
169 select CPU_AT32AP7000
172 source "arch/avr32/boards/atstk1000/Kconfig"
173 source "arch/avr32/boards/atngw100/Kconfig"
174 source "arch/avr32/boards/hammerhead/Kconfig"
175 source "arch/avr32/boards/favr-32/Kconfig"
176 source "arch/avr32/boards/merisc/Kconfig"
179 prompt "Boot loader type"
180 default LOADER_U_BOOT
183 bool "U-Boot (or similar) bootloader"
186 source "arch/avr32/mach-at32ap/Kconfig"
190 default 0x10000000 if LOADER_U_BOOT=y && CPU_AT32AP700X=y
194 default 0x90000000 if LOADER_U_BOOT=y && CPU_AT32AP700X=y
198 default 0x10000000 if CPU_AT32AP700X=y
200 source "kernel/Kconfig.preempt"
205 config HAVE_ARCH_BOOTMEM
208 config ARCH_HAVE_MEMORY_PRESENT
211 config NEED_NODE_MEMMAP_SIZE
214 config ARCH_FLATMEM_ENABLE
217 config ARCH_DISCONTIGMEM_ENABLE
220 config ARCH_SPARSEMEM_ENABLE
225 config OWNERSHIP_TRACE
226 bool "Ownership trace support"
229 Say Y to generate an Ownership Trace message on every context switch,
230 enabling Nexus-compliant debuggers to keep track of the PID of the
231 currently executing task.
237 Say Y here and pass the nmi_debug command-line parameter to
238 the kernel to turn on NMI debugging. Depending on the value
239 of the nmi_debug option, various pieces of information will
240 be dumped to the console when a Non-Maskable Interrupt
243 # FPU emulation goes here
245 source "kernel/Kconfig.hz"
248 string "Default kernel command line"
251 If you don't have a boot loader capable of passing a command line string
252 to the kernel, you may specify one here. As a minimum, you should specify
253 the memory size and the root device (e.g., mem=8M, root=/dev/nfs).
257 menu "Power management options"
259 source "kernel/power/Kconfig"
261 config ARCH_SUSPEND_POSSIBLE
264 menu "CPU Frequency scaling"
266 source "drivers/cpufreq/Kconfig"
268 config CPU_FREQ_AT32AP
269 bool "CPU frequency driver for AT32AP"
270 depends on CPU_FREQ && PLATFORM_AT32AP
273 This enables the CPU frequency driver for AT32AP processors.
275 For details, take a look in <file:Documentation/cpu-freq>.
288 source "drivers/pci/Kconfig"
290 source "drivers/pcmcia/Kconfig"
294 menu "Executable file formats"
295 source "fs/Kconfig.binfmt"
300 source "drivers/Kconfig"
304 source "arch/avr32/Kconfig.debug"
306 source "security/Kconfig"
308 source "crypto/Kconfig"