#+title: Microsoft Windows
#+setupfile: ../org-templates/page.org

** 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:
#+begin_src shell
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
#+end_src