i like the following explanation.
Your problem isn’t easy to answer. I know that a lot of ODMs are not allowing to boot from the default bootfolder or bootfile (bootloader) of the distribution.
Every registered Distri has its own path in the ESP-Partition but some ODMs configure there UEFI to boot only from
This isn’t matching for most of the OSes out there. So after the installation of Linux some modifications must be done.
In the best case your UEFI (BIOS) has the ability to select bootfiles (bootloader) as trusted. Then it is possible to add the grubx64.efi of the antergos easily.
This option is often named “Select UEFI file as trusted for execution”.
If this option is there just rename the files and add the grubx64.efi of antergos.
Antergos will then show up in the boot menu of the UEFI.
If this is not working. You could check if it is possible to enable the boot menu and add Windows Boot Manger and Antergos (with your renaming) to it. Then you can choose the OS at every boot up.
By the way… could you specific “windows takes more time to boot”