@luna that's exactly my setup! There's docs on how to set it up correctly https://search.nüschtos.de/?scope=NixOS&option_scope=11&query=boot.loader.systemd-boot.windows&option=boot.loader.systemd-boot.windows.%3Cname%3E.efiDeviceHandle