On my Arch Linux system, I installed Windows 10 afterwards. Therefore, Windows overwrote the EFI partition and I had to set it up again (because my Arch Linux uses EXT4, so Windows Boot Manager won't work). I managed to install GRUB but for some reason, the Arch installation is not detected; from GRUB, I can only boot into Windows 10.
I tried both
grub-install (followed by
grub-mkconfig) and neither of them show results. In my boot startup, both show up as possible selections. The former brings me to GRUB, where I can select to boot Windows; and the latter seems to do nothing at all when I select it.
This is my first time using Arch Linux and my first time using UEFI, so I am at a loss here.