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"