This tutorial will illustrate how to set up a dual boot Pop!OS + Windows 10/11 system very easily, without losing much disk space or installing not officially supported alternative boot loaders like GRUB or rEFInd.
The main issue with dual booting Pop!OS and Windows is that unlike most other distributions, Pop!OS uses the systemd-boot bootloader, which in its default configuration does not support loading kernels from partitions other than the EFI partition. Thus, Pop!OS requires the EFI partition to be at least 500 MiB in size, whereas the size of the EFI partition created during the installation of Windows is just 100 MiB. This would suffice for GRUB or rEFInd, since these bootloaders are able to load the kernel from the root partition, but not for systemd-boot. In this guide, we will perform a customized Windows installation with an enlarged EFI partition, and use that for a 100% default Pop!OS installation.
WARNING : this will not work on already existing installations of Windows or Pop!OS, you will hav
