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_HAVE_GENERIC_HARDIRQS
CONFIG_GENERIC_IRQ_PROBE
CONFIG_GENERIC_ATOMIC64
CONFIG_HARDIRQS_SW_RESEND
CONFIG_GENERIC_IRQ_SHOW