[PATCH 4/4] defaultenv: devboot: add devboot_bootconfig

[Steffen Trumtrar <s.trumtrar@pengutronix.de>]

Passed on as -o bootm.bootconfig, like devboot_initrd.

Assisted-by: Claude:claude-opus-5-5
Signed-off-by: Steffen Trumtrar <s.trumtrar@pengutronix.de>
---
 Documentation/user/devboot.rst           | 5 +++++
 defaultenv/defaultenv-2-base/bin/devboot | 6 +++++-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/Documentation/user/devboot.rst b/Documentation/user/devboot.rst
index fce8398b22..ec676f2998 100644
--- a/Documentation/user/devboot.rst
+++ b/Documentation/user/devboot.rst
@@ -177,6 +177,11 @@ variables:
   Override for ``bootm.initrd``. A leading colon appends to the boot
   entry's existing initrd.
 
+``devboot_bootconfig``
+  Override for ``bootm.bootconfig``: a Linux bootconfig file, appended to
+  the initrd or, without one, passed alone as the initrd
+  (``CONFIG_BOOTM_BOOTCONFIG``). An empty string removes it.
+
 Variables that are not set (using ``[[ -v ... ]]``) are left alone,
 so unset variables do not generate override arguments.
 
diff --git a/defaultenv/defaultenv-2-base/bin/devboot b/defaultenv/defaultenv-2-base/bin/devboot
index 1a43246337..92f98c6f00 100644
--- a/defaultenv/defaultenv-2-base/bin/devboot
+++ b/defaultenv/defaultenv-2-base/bin/devboot
@@ -14,7 +14,7 @@ if [ ! -f "${devboot_script}" ]; then
 	if [ ! -f "${devboot_script2}" ]; then
 		echo "Error: Neither ${devboot_script} nor ${devboot_script2} found"
 		echo "Create one of them and set as needed:"
-		echo "  devboot_image, devboot_initrd, devboot_oftree"
+		echo "  devboot_image, devboot_initrd, devboot_oftree, devboot_bootconfig"
 		cd "${saved_pwd}"
 		exit 1
 	fi
@@ -42,6 +42,10 @@ if [[ -v devboot_initrd ]]; then
 	override_args="${override_args} -o bootm.initrd=\"${devboot_initrd}\""
 fi
 
+if [[ -v devboot_bootconfig ]]; then
+	override_args="${override_args} -o bootm.bootconfig=\"${devboot_bootconfig}\""
+fi
+
 echo boot ${override_args} $*
 boot ${override_args} $*
 ret=$?

-- 
2.56.0