Eu já instalei o Windows em dual boot com o linux Mint e o Grub sempre aparece quando eu ligava o pc, mas numa instalação do Pop!_OS ele nunca aparece. O que eu faço pra instalar o Pop!_OS e poder escolher qual sistema usar sem precisar ficar apertando F12 pra bios aparecer?