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.
14 AVR32 is a high-performance 32-bit RISC microprocessor core,
15 designed for cost-sensitive embedded applications, with particular
16 emphasis on low power consumption and high code density.
18 There is an AVR32 Linux project with a web page at
19 http://avr32linux.org/.
24 config GENERIC_HARDIRQS
27 config STACKTRACE_SUPPORT
30 config HARDIRQS_SW_RESEND
33 config GENERIC_IRQ_PROBE
36 config RWSEM_GENERIC_SPINLOCK
42 config RWSEM_XCHGADD_ALGORITHM
45 config ARCH_HAS_ILOG2_U32
48 config ARCH_HAS_ILOG2_U64
51 config GENERIC_HWEIGHT
54 config GENERIC_CALIBRATE_DELAY
63 menu "System Type and features"
69 config PERFORMANCE_COUNTERS
72 config PLATFORM_AT32AP
76 select PERFORMANCE_COUNTERS
79 prompt "AVR32 CPU type"
80 default CPU_AT32AP7000
84 select PLATFORM_AT32AP
88 # CPU Daughterboards for ATSTK1000
89 config BOARD_ATSTK1002
93 prompt "AVR32 board type"
94 default BOARD_ATSTK1000
96 config BOARD_ATSTK1000
97 bool "ATSTK1000 evaluation board"
98 select BOARD_ATSTK1002 if CPU_AT32AP7000
100 config BOARD_ATNGW100
101 bool "ATNGW100 Network Gateway"
105 source "arch/avr32/boards/atstk1000/Kconfig"
109 prompt "Boot loader type"
110 default LOADER_U_BOOT
113 bool "U-Boot (or similar) bootloader"
116 source "arch/avr32/mach-at32ap/Kconfig"
120 default 0x10000000 if LOADER_U_BOOT=y && CPU_AT32AP7000=y
124 default 0x90000000 if LOADER_U_BOOT=y && CPU_AT32AP7000=y
128 default 0x10000000 if CPU_AT32AP7000=y
130 source "kernel/Kconfig.preempt"
132 config HAVE_ARCH_BOOTMEM_NODE
135 config ARCH_HAVE_MEMORY_PRESENT
138 config NEED_NODE_MEMMAP_SIZE
141 config ARCH_FLATMEM_ENABLE
144 config ARCH_DISCONTIGMEM_ENABLE
147 config ARCH_SPARSEMEM_ENABLE
152 config OWNERSHIP_TRACE
153 bool "Ownership trace support"
156 Say Y to generate an Ownership Trace message on every context switch,
157 enabling Nexus-compliant debuggers to keep track of the PID of the
158 currently executing task.
160 # FPU emulation goes here
162 source "kernel/Kconfig.hz"
165 string "Default kernel command line"
168 If you don't have a boot loader capable of passing a command line string
169 to the kernel, you may specify one here. As a minimum, you should specify
170 the memory size and the root device (e.g., mem=8M, root=/dev/nfs).
174 menu "Power management options"
176 menu "CPU Frequency scaling"
178 source "drivers/cpufreq/Kconfig"
180 config CPU_FREQ_AT32AP
181 bool "CPU frequency driver for AT32AP"
182 depends on CPU_FREQ && PLATFORM_AT32AP
185 This enables the CPU frequency driver for AT32AP processors.
187 For details, take a look in <file:Documentation/cpu-freq>.
200 source "drivers/pci/Kconfig"
202 source "drivers/pcmcia/Kconfig"
206 menu "Executable file formats"
207 source "fs/Kconfig.binfmt"
212 source "drivers/Kconfig"
216 source "arch/avr32/Kconfig.debug"
218 source "security/Kconfig"
220 source "crypto/Kconfig"