On 18.06.2025 20:46, Frediano Ziglio wrote: > --- a/xen/common/efi/boot.c > +++ b/xen/common/efi/boot.c > @@ -1291,6 +1291,7 @@ void EFIAPI __init noreturn efi_start(EFI_HANDLE > ImageHandle, > bool base_video = false; > const char *option_str; > bool use_cfg_file; > + bool kernel_was_verified = false;
May I suggest to drop the "was" infix from the variable name? The name is imo as clear without it. Jan
