#
# For a description of the syntax of this configuration file,
# see misc/tools/kconfig-language.txt.
#

comment "ARM Configuration Options"

choice
	prompt "Toolchain Selection"
	default ARM_TOOLCHAIN_CODESOURCERYW if HOST_WINDOWS
	default ARM_TOOLCHAIN_GNU_EABI if !HOST_WINDOWS

config ARM_TOOLCHAIN_BUILDROOT
	bool "Buildroot (Cygwin or Linux)"
	depends on !WINDOWS_NATIVE

config ARM_TOOLCHAIN_CODESOURCERYL
	bool "CodeSourcery GNU toolchain under Linux"
	depends on HOST_LINUX

config ARM_TOOLCHAIN_CODESOURCERYW
	bool "CodeSourcery GNU toolchain under Windows"
	depends on HOST_WINDOWS

config ARM_TOOLCHAIN_DEVKITARM
	bool "devkitARM GNU toolchain"
	depends on HOST_WINDOWS

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.

endchoice

config ARM_OABI_TOOLCHAIN
	bool "OABI (vs EABI)"
	default y
	depends on ARM_TOOLCHAIN_BUILDROOT
	---help---
		Most of the older buildroot toolchains are OABI and are named arm-nuttx-elf- vs. arm-nuttx-eabi-
