Quem quiser saber mais a respeito do Pop! OS deve dar uma olhada no Blog Diolinux (
https://diolinux.com.br/). Coloque Pop! OS na busca e encontrará várias matérias a respeito. Parece-me que a turma de lá anda fazendo a travessia na direção da distro da System 76.
Lembro-me de um post do próprio Dionatan, em que ele elogiava a produtividade do sistema e avaliava a possibilidade de torná-lo a sua distro padrão.
Porém, é bom saber que:
1. O Pop! OS somente é instalado se o sistema de armazenamento dispuser de uma partição EFI com pelo menos 512 Mb;
2. A distribuição não utiliza o grub e sim o sistema de boot do systemd;
3. A sua instalação não propicia um menu equivalente de boot, de modo que para ter dual boot você terá que acessar o boot UEFI (geralmente F11/F12;
4. A instalação prévia de uma distro que use o grub, não resultará em uma opção de menu usável para o Pop! OS;
Portanto, quem quiser, ainda assim, experimentá-la em dual boot, terá que arregaçar as mangas e pesquisar/descobrir como fazer que um menu do grub consiga inicializar o Pop ou então se é possível construir um menu de boot do systemd.