[Buildroot] [PATCH 4/5] toolchain/toolchain-external/toolchain-external-bootlin: finalize package addition

[Thomas Petazzoni <thomas.petazzoni@bootlin.com>]

This commit wires-up the toolchain-external-bootlin package into
Buildroot by:

 - Adding
   toolchain/toolchain-external/toolchain-external-bootlin/Config.in,
   which is not generated by the bl-toolchains-gen script as it is a
   static file that does not depend on the list and characteristics of
   available Bootlin toolchains.

 - Including that file, as well as the Config.in.options file, from
   toolchain/toolchain-external/Config.in.

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
---
 toolchain/toolchain-external/Config.in                   | 6 ++++++
 .../toolchain-external-bootlin/Config.in                 | 9 +++++++++
 2 files changed, 15 insertions(+)
 create mode 100644 toolchain/toolchain-external/toolchain-external-bootlin/Config.in

diff --git a/toolchain/toolchain-external/Config.in b/toolchain/toolchain-external/Config.in
index 128bea257e..c4fac32d24 100644
--- a/toolchain/toolchain-external/Config.in
+++ b/toolchain/toolchain-external/Config.in
@@ -45,6 +45,9 @@ source "toolchain/toolchain-external/toolchain-external-codesourcery-niosII/Conf
 # x86_64
 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
 # any available toolchain profile for the currently selected
 # architecture, but before toolchains from br2-external trees.
@@ -152,6 +155,9 @@ source "toolchain/toolchain-external/toolchain-external-codesourcery-niosII/Conf
 # x86_64
 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
 source "toolchain/toolchain-external/toolchain-external-custom/Config.in.options"
 
diff --git a/toolchain/toolchain-external/toolchain-external-bootlin/Config.in b/toolchain/toolchain-external/toolchain-external-bootlin/Config.in
new file mode 100644
index 0000000000..6552da9a84
--- /dev/null
+++ b/toolchain/toolchain-external/toolchain-external-bootlin/Config.in
@@ -0,0 +1,9 @@
+config BR2_TOOLCHAIN_EXTERNAL_BOOTLIN
+	bool "Bootlin toolchains"
+	depends on BR2_TOOLCHAIN_EXTERNAL_BOOTLIN_ARCH_SUPPORTS
+	depends on BR2_HOSTARCH = "x86_64"
+	help
+	  Bootlin toolchains are built using Buildroot for a large
+	  number of architectures and C libraries configurations.
+
+	  https://toolchains.bootlin.com
-- 
2.26.2