title: Windows

Windows

Repair boot files

Download Windows 11 ISO from Microsoft and write to USB.
Boot into Windows setup utility.
Select Repair computer -> Troubleshoot -> Advanced -> Cmd prompt

This procedure assumes the following:

main disk is disk 0
EFI partition is part 1
Windows OS drive letter is c:

The following commands will format the old EFI partition, mount it to s:, and copy the boot files to it:

diskpart
> list disk
> sel disk 0
> list part
> sel part 1
> format fs=fat32 quick label=System
> list vol
> exit
mountvol S: /S
bcdboot c:\windows /s s: /f UEFI /v
exit