|
@@ -45,6 +45,9 @@ source "toolchain/toolchain-external/toolchain-external-codesourcery-niosII/Conf
|
|
# x86_64
|
|
# x86_64
|
|
source "toolchain/toolchain-external/toolchain-external-codesourcery-amd64/Config.in"
|
|
source "toolchain/toolchain-external/toolchain-external-codesourcery-amd64/Config.in"
|
|
|
|
|
|
|
|
+# Bootlin toolchains, available for virtually all architectures
|
|
|
|
+source "toolchain/toolchain-external/toolchain-external-bootlin/Config.in"
|
|
|
|
+
|
|
# Kept last, so it remains the non-default choice, unless there isn't
|
|
# Kept last, so it remains the non-default choice, unless there isn't
|
|
# any available toolchain profile for the currently selected
|
|
# any available toolchain profile for the currently selected
|
|
# architecture, but before toolchains from br2-external trees.
|
|
# architecture, but before toolchains from br2-external trees.
|
|
@@ -152,6 +155,9 @@ source "toolchain/toolchain-external/toolchain-external-codesourcery-niosII/Conf
|
|
# x86_64
|
|
# x86_64
|
|
source "toolchain/toolchain-external/toolchain-external-codesourcery-amd64/Config.in.options"
|
|
source "toolchain/toolchain-external/toolchain-external-codesourcery-amd64/Config.in.options"
|
|
|
|
|
|
|
|
+# Bootlin toolchains
|
|
|
|
+source "toolchain/toolchain-external/toolchain-external-bootlin/Config.in.options"
|
|
|
|
+
|
|
# Custom toolchains
|
|
# Custom toolchains
|
|
source "toolchain/toolchain-external/toolchain-external-custom/Config.in.options"
|
|
source "toolchain/toolchain-external/toolchain-external-custom/Config.in.options"
|
|
|
|
|