menu "Toolchain" choice prompt "Toolchain type" help Select whether to use the toolchain provided by buildroot or an external toolchain. Some vendors provide toolchains in binary form, some in source form. config BR2_TOOLCHAIN_BUILDROOT bool "Buildroot toolchain" config BR2_TOOLCHAIN_EXTERNAL bool "External toolchain" endchoice source "toolchain/Config.in.1" source "toolchain/toolchain-external/Config.in" # we want gdb config in the middle of both source and external # toolchains, but mconf won't let us source the same file twice, # so put it here instead source "toolchain/gdb/Config.in" comment "Common Toolchain Options" source "toolchain/Config.in.2" source "toolchain/toolchain-external/Config.in.2" endmenu