Eu configurei um pendrive USB do Arch, seguindo as instruções fornecidas no link , seção 1.2.2 . Especificamente, eu extraí o ISO do Arch na unidade e instalei o syslinux nele, dentro do Windows.
Quando tento inicializar a partir da unidade, chego a um menu com duas opções:
EFI Default Loader
Reboot into Firmware Interface
A primeira opção apenas recarrega o mesmo menu, enquanto a segunda entra na Interface de Firmware, como diz, e depois inicializa o Windows.
Olhando pela internet, parece que cheguei ao menu systemd-boot (não ao Syslinux?) e que eu deveria estar vendo uma opção para inicializar no Arch acima desses dois.
Claramente, fiz algo errado ao longo do caminho. No momento, no entanto, não tenho ideia do que poderia estar causando a não apresentação desses itens de menu. O que preciso consertar?
Provavelmente é tarde demais (ou já está resolvido) para o OP, mas se alguém mais fizer isso, como eu acabei de fazer:
Além de instalar o systemd-boot, você também precisa adicionar manualmente a entrada de inicialização do Arch, criando um arquivo em /boot/loader/entries/arch.conf .
Veja esta Página do ArchWiki para mais informações.
É fácil perder essa parte, graças ao grande aviso "o bootctl verificará automaticamente ...", fazendo você pensar que já está pronto.