We noticed a very peculiar issue where even after changing the Boot order in BIOS, we were not able to boot from the other boot device; instead, it defaulted to booting from the Windows Boot Manager.

If you are stuck and can’t boot into Windows after installing Arch, and instead of seeing the Windows Boot Manager, you see GRUB showing Arch, here’s what you can do. First, you will need to check if ...