efibootmgr is your friend. Boot into linux and use it to set the boot records as you want, in the order that you want them.
Also, I have heard from a bunch of people, that this can be mitigated by having separate EFI partitions for Linux and Windows. That means one EFI partition per physical drive. You can go as far as having the EFI partition on different media than the Linux install.
efibootmgr
is your friend. Boot into linux and use it to set the boot records as you want, in the order that you want them.Also, I have heard from a bunch of people, that this can be mitigated by having separate EFI partitions for Linux and Windows. That means one EFI partition per physical drive. You can go as far as having the EFI partition on different media than the Linux install.