From ed99b6f622d7756664fca4762efa85a8db9e0962 Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Wed, 15 May 2013 08:29:04 -0600 Subject: [PATCH] Clean up of pirelli-dpl10/nsh_highram configuration --- arch/arm/src/arm/Kconfig | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/arch/arm/src/arm/Kconfig b/arch/arm/src/arm/Kconfig index 665fab5758..758dbaff0e 100644 --- a/arch/arm/src/arm/Kconfig +++ b/arch/arm/src/arm/Kconfig @@ -17,6 +17,10 @@ config ARM_TOOLCHAIN_BUILDROOT config ARM_TOOLCHAIN_CODESOURCERYL bool "CodeSourcery GNU toolchain under Linux" depends on HOST_LINUX + ---help--- + For use with the GNU toolchain built with the NuttX buildroot package. + This tools may be arm-nuttx-eabi- or, if ARM_OABI_TOOLCHAIN is set, + arm-nuttx-elf-. config ARM_TOOLCHAIN_CODESOURCERYW bool "CodeSourcery GNU toolchain under Windows" @@ -30,7 +34,12 @@ config ARM_TOOLCHAIN_GNU_EABI bool "Generic GNU EABI toolchain" ---help--- This option should work for any modern GNU toolchain (GCC 4.5 or newer) - configured for arm-none-eabi. + configured for arm-none-eabi-. + +config ARM_TOOLCHAIN_GNU_OABI + bool "Generic GNU OABI toolchain" + ---help--- + This option should work for any GNU toolchain configured for arm-elf-. endchoice