On Thursday, 14 September 2017 05:09:14 BST R0b0t1 wrote: > The trickiest part is still the same - going from GRUB or, now, your > EFI shell, to Window's bootloader. See here: > https://wiki.archlinux.org/index.php/GRUB#Chainloading_Windows.2FLinux_ins > talled_in_UEFI_mode.
That advice, though helpful, is about Grub, which isn't installed on this box. I did try at first to get it to work here, but failed, so I removed it and went for bootctl. It's a fiddle to keep up to date with kernel upgrades, but at least it works. -- Regards, Peter.

