Como eu faço uma instalação dual boot Pop!_OS/Windows10 com Grub?

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?

Da uma olhada nesse outro tópico:

1 Curtida