Dual boot Debian e Windows 10: inicializa no Windows 10 sem menu para escolher o SO

Question

Eu tenho um PC com o Windows 10 instalado no único disco rígido de 1 TB que tenho usado há um ano. O disco rígido foi usado apenas 35%. Eu instalei o Debian 8.7 de um ISO em uma unidade USB. Durante a instalação, o instalador exibiu uma lista de partições atuais e espaço livre na unidade, incluindo uma partição NTFS de 933 GB. Eu usei o próprio instalador do Debian para diminuir essa partição para 50% e instalei o Debian na nova partição criada. Mesmo assim, mais adiante durante a instalação, o instalador não reconheceu nenhum outro sistema operacional instalado e disse que, se houver uma e continuar a instalação, ela pode se tornar não inicializável, mas eu seria capaz de corrigir isso manualmente editando algum arquivo. Então continuei com a instalação e concluí com sucesso. No entanto, quando inicializo a máquina, não obtenho uma opção de inicialização para o Linux e ela é inicializada diretamente no Windows 10. Alguns pontos:

1. Durante a inicialização, há uma mensagem para pressionar F12 para BBS Popup . Pressionar F12 me dá uma escolha de unidades para inicializar, mas não há nenhuma opção que se pareça com alguma variante do Linux. (Screenshot)

2. EscolherUEFIDeviceouWindowsBootManageréinicializadoapenasnoWindows10.

3. NalinhadecomandodoWindows,aexecuçãodocomandobcdedit/enummostraapenasoscarregadoresdeinicializaçãodoWindows.(Screenshot) Como posso fazer a minha máquina inicializar no sistema operacional Debian Linux? Muito obrigado por sua ajuda. Eu gastei way muito tempo inicializando e reinicializando: -)

EDIT: Só queria adicionar que eu selecionei Yes para instalar o grub-loader no registro mestre de inicialização do primeiro disco rígido.

    

Answer 1

Tenho o prazer de informar que encontrei a causa raiz do problema. Por acaso, encontrei esta página: Suporte do Windows para UEFI e leia o seguinte:

With UEFI 2.3.1, there are both x86 and x64 versions of UEFI. Windows 10 supports both. However, UEFI does not support cross-platform boot. This means that a computer that has UEFI x64 can run only a 64-bit operating system, and a computer that has UEFI x86 can run only a 32-bit operating system.

Bem, eu estava instalando em um computador UEFI com uma CPU Intel de 64 bits, mas usando a imagem debian-8.7.1-i386-DVD-1.iso . Quando usei a amd64 image - debian-8.7.1-amd64-DVD-1.iso -, tudo funcionou bem. Agora, eu tenho alguns segundos para selecionar o sistema operacional, com o Linux como padrão.

As convenções de nomenclatura de arquitetura meio estranhas me jogaram. Quando eu fiz a primeira escolha de qual imagem ISO, eu não tinha certeza se amd64 funcionaria porque eu tinha uma CPU Intel, e i386 tinha sido a escolha segura até agora, mas depois eu li no Debian site que amd64 é para arquiteturas de 64 bits, chips AMD e Intel.