CONFIG_AVR32 is not available for thedefaultarchitecture x86.
Result is shown for architecture avr32
CONFIG_AVR32 (not configurable)
configname: CONFIG_AVR32
Linux Kernel Configuration
└─>AVR32
In linux kernel since version 2.6.19 (release Date: 2006-11-29)
AVR32 is a high-performance 32-bit RISC microprocessor core,
designed for cost-sensitive embedded applications, with particular
emphasis on low power consumption and high code density.
There is an AVR32 Linux project with a web page at
http://avr32linux.org/.
designed for cost-sensitive embedded applications, with particular
emphasis on low power consumption and high code density.
There is an AVR32 Linux project with a web page at
http://avr32linux.org/.
selects
CONFIG_EXPERTCONFIG_HAVE_CLK
CONFIG_HAVE_OPROFILE
CONFIG_HAVE_KPROBES
CONFIG_VIRT_TO_BUS
CONFIG_GENERIC_IRQ_PROBE
CONFIG_GENERIC_ATOMIC64
CONFIG_HARDIRQS_SW_RESEND
CONFIG_GENERIC_IRQ_SHOW
CONFIG_ARCH_HAVE_CUSTOM_GPIO_H
CONFIG_ARCH_WANT_IPC_PARSE_VERSION
CONFIG_ARCH_HAVE_NMI_SAFE_CMPXCHG
CONFIG_GENERIC_CLOCKEVENTS
CONFIG_HAVE_MOD_ARCH_SPECIFIC
CONFIG_MODULES_USE_ELF_RELA