Do you want to dual boot Pop!_OS and Windows on your system? Here is a complete guide showing you the steps you need to follow to install Pop!_OS on your PC alongside Windows OS. Pop!_OS is a free and ...
I've got an existing Arch64 install, with win10. EFI, systemd-boot. From the looks of /boot, it seems that another linux install on the same ESP would try and overwrite the existing vmlinuz etc files ...