diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2013-05-15 08:29:04 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2013-05-15 08:29:04 -0600 |
| commit | 5f8d043efc6d56c7957bae00b886d4e57a71b56d (patch) | |
| tree | 2b87042eaa0f6a6405bd81b45a548e33cb64bcb4 /nuttx/arch | |
| parent | da59df96e4fc5cac90f9a51bbff8dde42a422a45 (diff) | |
| download | px4-nuttx-5f8d043efc6d56c7957bae00b886d4e57a71b56d.tar.gz px4-nuttx-5f8d043efc6d56c7957bae00b886d4e57a71b56d.tar.bz2 px4-nuttx-5f8d043efc6d56c7957bae00b886d4e57a71b56d.zip | |
Clean up of pirelli-dpl10/nsh_highram configuration
Diffstat (limited to 'nuttx/arch')
| -rw-r--r-- | nuttx/arch/arm/src/arm/Kconfig | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/nuttx/arch/arm/src/arm/Kconfig b/nuttx/arch/arm/src/arm/Kconfig index 665fab575..758dbaff0 100644 --- a/nuttx/arch/arm/src/arm/Kconfig +++ b/nuttx/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 |