kernel/drivers/firmware/efi/efi.c
.. .. @@ -87,7 +87,7 @@ 87 87 88 88 struct workqueue_struct *efi_rts_wq; 89 89 90 -static bool disable_runtime;90 +static bool disable_runtime = IS_ENABLED(CONFIG_PREEMPT_RT_BASE);91 91 static int __init setup_noefi(char *arg) 92 92 { 93 93 disable_runtime = true; .. .. @@ -113,6 +113,9 @@ 113 113 if (parse_option_str(str, "noruntime")) 114 114 disable_runtime = true; 115 115 116 + if (parse_option_str(str, "runtime"))117 + disable_runtime = false;118 +116 119 return 0; 117 120 } 118 121 early_param("efi", parse_efi_cmdline);