From 7ded1f7d7d85d62a15ecc266905b0c98174c97bc Mon Sep 17 00:00:00 2001
From: ColorfulRhino <131405023+ColorfulRhino@users.noreply.github.com>
Date: Wed, 27 Mar 2024 22:34:42 +0100
Subject: [PATCH] kernel-config: Force-enable CONFIG_IKCONFIG_PROC=y to make
 the kernel config available on the running machine via /proc/config.gz

---
 lib/functions/compilation/armbian-kernel.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/lib/functions/compilation/armbian-kernel.sh b/lib/functions/compilation/armbian-kernel.sh
index 38632077b6..6816f85bce 100644
--- a/lib/functions/compilation/armbian-kernel.sh
+++ b/lib/functions/compilation/armbian-kernel.sh
@@ -47,7 +47,17 @@ function armbian_kernel_config__disable_various_options() {
 	fi
 }
 
+function armbian_kernel_config__enable_config_access_in_live_system() {
+	kernel_config_modifying_hashes+=("CONFIG_IKCONFIG_PROC=y")
+	if [[ -f .config ]]; then
+		kernel_config_set_n CONFIG_IKCONFIG_PROC # This option enables access to the kernel configuration file through /proc/config.gz
+	fi
+}
+
+# +++++++++++ HELPERS CORNER +++++++++++
+#
 # Helpers for manipulating kernel config.
+#
 function kernel_config_set_m() {
 	declare module="$1"
 	display_alert "Enabling kernel module" "${module}=m" "debug"