Setting Up Dual Boot with Windows and Arch Linux Using systemd-boot
Dual-booting Windows and Arch Linux is fairly straightforward when each operating system is installed separately. However, you might need to manually select the boot device through your BIOS settings ...