From 64e5dbc5347f68b8faeb2d2b555d93e8d552a2b7 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Wed, 5 Mar 2014 11:34:25 -0600
Subject: [PATCH] configs/avr32dev1/nsh: Configuration converted to use the
 kconfig-frontends tools

---
 arch/avr/src/avr32/Kconfig | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/arch/avr/src/avr32/Kconfig b/arch/avr/src/avr32/Kconfig
index 5522edbd389..b542381ea73 100644
--- a/arch/avr/src/avr32/Kconfig
+++ b/arch/avr/src/avr32/Kconfig
@@ -9,10 +9,15 @@ comment "AVR32 Configuration Options"
 choice
 	prompt "Toolchain"
 	default AVR32_AVRTOOLSW if HOST_WINDOWS
+	default AVR32_AVRTOOLSL if HOST_LINUX
 
 config AVR32_AVRTOOLSW
 	bool "AVR tools for Windows"
 	depends on HOST_WINDOWS
 
+config AVR32_AVRTOOLSL
+	bool "AVR tools for Windows"
+	depends on HOST_LINUX
+
 endchoice # Toolchain
 endif