2 # For a description of the syntax of this configuration file,
3 # see Documentation/kbuild/kconfig-language.txt.
6 mainmenu "Linux Kernel Configuration"
11 # With EMBEDDED=n, we get lots of stuff automatically selected
12 # that we usually don't need on AVR32.
15 AVR32 is a high-performance 32-bit RISC microprocessor core,
16 designed for cost-sensitive embedded applications, with particular
17 emphasis on low power consumption and high code density.
19 There is an AVR32 Linux project with a web page at
20 http://avr32linux.org/.
29 config GENERIC_HARDIRQS
33 config HARDIRQS_SW_RESEND
37 config GENERIC_IRQ_PROBE
41 config RWSEM_GENERIC_SPINLOCK
49 config RWSEM_XCHGADD_ALGORITHM
52 config ARCH_HAS_ILOG2_U32
56 config ARCH_HAS_ILOG2_U64
60 config GENERIC_BUST_SPINLOCK
63 config GENERIC_HWEIGHT
67 config GENERIC_CALIBRATE_DELAY
78 menu "System Type and features"
84 config PERFORMANCE_COUNTERS
87 config PLATFORM_AT32AP
91 select PERFORMANCE_COUNTERS
94 prompt "AVR32 CPU type"
95 default CPU_AT32AP7000
99 select PLATFORM_AT32AP
103 # CPU Daughterboards for ATSTK1000
104 config BOARD_ATSTK1002
108 prompt "AVR32 board type"
109 default BOARD_ATSTK1000
111 config BOARD_ATSTK1000
112 bool "ATSTK1000 evaluation board"
113 select BOARD_ATSTK1002 if CPU_AT32AP7000
117 prompt "Boot loader type"
118 default LOADER_U_BOOT
121 bool "U-Boot (or similar) bootloader"
124 source "arch/avr32/mach-at32ap/Kconfig"
128 default 0x10000000 if LOADER_U_BOOT=y && CPU_AT32AP7000=y
132 default 0x90000000 if LOADER_U_BOOT=y && CPU_AT32AP7000=y
136 default 0x10000000 if CPU_AT32AP7000=y
138 source "kernel/Kconfig.preempt"
140 config HAVE_ARCH_BOOTMEM_NODE
144 config ARCH_HAVE_MEMORY_PRESENT
148 config NEED_NODE_MEMMAP_SIZE
152 config ARCH_FLATMEM_ENABLE
156 config ARCH_DISCONTIGMEM_ENABLE
160 config ARCH_SPARSEMEM_ENABLE
166 config OWNERSHIP_TRACE
167 bool "Ownership trace support"
170 Say Y to generate an Ownership Trace message on every context switch,
171 enabling Nexus-compliant debuggers to keep track of the PID of the
172 currently executing task.
174 # FPU emulation goes here
176 source "kernel/Kconfig.hz"
179 string "Default kernel command line"
182 If you don't have a boot loader capable of passing a command line string
183 to the kernel, you may specify one here. As a minimum, you should specify
184 the memory size and the root device (e.g., mem=8M, root=/dev/nfs).
193 source "drivers/pci/Kconfig"
195 source "drivers/pcmcia/Kconfig"
199 menu "Executable file formats"
200 source "fs/Kconfig.binfmt"
205 source "drivers/Kconfig"
209 source "arch/avr32/Kconfig.debug"
211 source "security/Kconfig"
213 source "crypto/Kconfig"