|
@@ -1176,6 +1176,20 @@ void __init setup_arch(char **cmdline_p)
|
|
/* Allocate bigger log buffer */
|
|
/* Allocate bigger log buffer */
|
|
setup_log_buf(1);
|
|
setup_log_buf(1);
|
|
|
|
|
|
|
|
+ if (efi_enabled(EFI_BOOT)) {
|
|
|
|
+ switch (boot_params.secure_boot) {
|
|
|
|
+ case efi_secureboot_mode_disabled:
|
|
|
|
+ pr_info("Secure boot disabled\n");
|
|
|
|
+ break;
|
|
|
|
+ case efi_secureboot_mode_enabled:
|
|
|
|
+ pr_info("Secure boot enabled\n");
|
|
|
|
+ break;
|
|
|
|
+ default:
|
|
|
|
+ pr_info("Secure boot could not be determined\n");
|
|
|
|
+ break;
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
reserve_initrd();
|
|
reserve_initrd();
|
|
|
|
|
|
acpi_table_upgrade();
|
|
acpi_table_upgrade();
|