1 files changed, 1 insertions, 0 deletions
diff --git a/arch/avr32/Kconfig b/arch/avr32/Kconfig
index 3dea7231f637..f4289ca78b55 100644
--- a/arch/avr32/Kconfig
+++ b/arch/avr32/Kconfig
@@ -12,6 +12,7 @@ config AVR32
        select HARDIRQS_SW_RESEND
        select GENERIC_IRQ_SHOW
        select ARCH_HAVE_NMI_SAFE_CMPXCHG
+        select HAVE_GENERIC_INIT_TASK
        help
          AVR32 is a high-performance 32-bit RISC microprocessor core,
          designed for cost-sensitive embedded applications, with particular

diff --git a/arch/avr32/Kconfig b/arch/avr32/Kconfig index 3dea7231f637..f4289ca78b55 100644 --- a/arch/avr32/Kconfig +++ b/arch/avr32/Kconfig
@@ -12,6 +12,7 @@ config AVR32
12	select HARDIRQS_SW_RESEND	12	select HARDIRQS_SW_RESEND
13	select GENERIC_IRQ_SHOW	13	select GENERIC_IRQ_SHOW
14	select ARCH_HAVE_NMI_SAFE_CMPXCHG	14	select ARCH_HAVE_NMI_SAFE_CMPXCHG
		15	select HAVE_GENERIC_INIT_TASK
15	help	16	help
16	AVR32 is a high-performance 32-bit RISC microprocessor core,	17	AVR32 is a high-performance 32-bit RISC microprocessor core,
17	designed for cost-sensitive embedded applications, with particular	18	designed for cost-sensitive embedded applications, with particular