During Windows installation, follow https://www.ctrl.blog/entry/how-to-esp-windows-setup.html:
- Select "Custom installation"
- Delete all partitions if there are any
- Shift + F10 for cmd.exe
- diskpart.exe
- list disk
- select disk n
- create partition efi size=1024
- format quick fs=fat32 label=System
- exit
- exit
Continue with the install, leave space in the disk for a NixOS partition
Control Panel -> Power options -> Power buttons -> Turn off fast startup
- disable secure boot in BIOS
Working dual boot setup is installed with the graphical installer.
If Windows / BIOS update utility somehow deletes the nixos EFI entry, try https://nixos.wiki/wiki/Bootloader#From_an_installation_media
- From a LiveUSB, mount the root partition somewhere, e.g. /path
- Mount the boot partition in /path/boot
- sudo nixos-enter --root /path
- NIXOS_INSTALL_BOOTLOADER=1 /nix/var/nix/profiles/system/bin/switch-to-configuration boot
NIXOS_INSTALL_BOOTLOADER=1 /nix/var/nix/profiles/system/bin/switch-to-configuration boot