search for: uefi_fallback_nam

Displaying 2 results from an estimated 2 matches for "uefi_fallback_nam".

Did you mean: uefi_fallback_name
2020 May 15
1
[PATCH] v2v: fix UEFI bootloader for linux guests
...file_exists file = + if g#exists file then + true + else ( + info (f_"Can't find file: '%s' needed for UEFI bootloader fixing") file; + false ) in + + let grub_path = String.sub grub_config 0 (String.rindex grub_config '/') in + let uefi_fallback_name = + let arch_suffix = get_uefi_arch_suffix arch in + if arch_suffix <> "" then + String.concat "" [uefi_fallback_path; "BOOT"; arch_suffix; ".EFI"] + else + "" in + + if uefi_fallback_name = "" then...
2020 Jul 24
3
[PATCH v2] v2v: fix UEFI bootloader for linux guests
...uffix = function + | "x86_64" -> Some "X64" + | "x86_32" -> Some "X32" + | _ -> None + in + + match get_uefi_arch_suffix inspect.i_arch with + | None -> cant_fix_uefi () + | Some suffix -> ( + let uefi_fallback_name = + sprintf "%sBOOT%s.EFI" uefi_fallback_path suffix in + + let file_exists file = + if g#exists file then + true + else ( + info (f_"Can't find file: '%s' needed for UEFI fixing") + file; +...