IST - Física MEFT - Programação 01:46:49
26 - Apr - 2024
  Página de entrada  
  Informações  
  Avaliação  
  Sumários  
  Séries Semanais  
  Trabalhos Finais  
  Bibliografia  
  Manuais  
  Links Úteis  
  HowTo  
  Pagina Web (Exemplo)  
  Turmas de Laboratório  
  Notas Finais e Marcações  
  Contacto  

HowTo: UEFI


Sumário
1. Introdução
2. Como executar o 'boot-repair'
3. Comandos básicos de efibootmgr
4. EFI (BIOS) -- Fixar a opção de arranque
5. Solução de emergência quando todas as outras falham...
6. Como alterar o default de arranque do UEFI
7. Como criar uma partição UEFI
8. Como criar uma partição UEFI com o boot do Windows
9. Documentação e Links Úteis
Início

1. Introdução

O UEFI (Unified Extensible Firmware Interface) "é uma especificação sobre que define a interface de software entre o sistema operativo e o firmware da plataforma" (ver wikipedia).
Início

2. Como executar o 'boot-repair'

Ver HowTo do boot-repair.
Início

3. Comandos básicos de efibootmgr

  • $ efibootmgr
    Mostra os boots e a sua ordem.
  • $ efibootmgr -n <num>
    Marca apenas para o próximo boot
  • $ efibootmgr -o <num>,<num>,<num>
    Definir a sequência de boot
  • $ efibootmgr -t <segundos>
    define o timeout em segundos
Início

4. EFI (BIOS) -- Fixar a opção de arranque

A fixar a escolha no EFI (BIOS) da opção de arranque em alguns casos é fácil de definir. Noutros casos tem de se saber como se faz.

Seguem-se exemplos:

Início

5. Solução de emergência quando todas as outras falham...

Só faça isto se souber bem o que está a fazer...

Se depois de executar correctamente o "boot-repair" o "grub" não aparecer e o PC arrancar directamente no Microsoft Windows" há uma solução mais radical que implica trocar à mão o ficheiro de arranque na partição UEFI.

Para tal proceder do seguinte modo:

  1. Arrancar a partir de uma PEN (ou de um CD) em modo experimentar (ou usar o boot-repair, sem no entanto correr o executar).
  2. Passar para superuser:
    sudo -s
  3. Verificar qual a partição em que está o UEFI. Para tal poderá executar o comando num terminal:
    parted /dev/sda printf
    e procure a partição EFI (vou admitir que no que se segue que é a partição '/dev/sda2').
    Nota: Se tiver mais do que um disco poderá não estar em "/dev/sda". Tente os seguintes (/dev/sdb, /dev/sdc, ...).
  4. Montar a partição EFI em /mnt:
    mount /dev/sda2 /mnt
  5. Ir para a pasta EFI dessa partição (em que estão os diferentes arranques):
    cd /mnt/EFI/
  6. Fazer um backup do ficheiro de arranque 'bootmgfw.efi', que encontra em '/mnt/EFI/Microsoft/Boot/' (pode criar, para o efeito, uma pasta em, por exemplo, '/mnt/boot-sav'):
    cp Microsoft/Boot/bootmgfw.efi ../boot-sav/Nome_da_Pasta_para_backup/
  7. Copiar o ficheiro 'ubuntu/grubx64.efi' para 'Microsoft/Boot/bootmgfw.efi':
    cp ubuntu/grubx64.efi Microsoft/Boot/bootmgfw.efi
  8. Rearrancar o PC. Se tudo funcionar bem deverá aparecer o menu do "grub" com a escolha do sistema operativo a escolher.

No caso o computador continuar a arrancar directamente no Microsoft Windows

No caso o computador continuar a arrancar directamente no Microsoft Windows, é conveniente desfazer o que fez anteriormente. Nesse caso:
  • Execute os procedimentos anteriores de 1 a 4.
  • Reponha o ficheiro 'Microsoft/Boot/bootmgfw.efi' no sítio original:
    cp Sitio_em_que_fez_o_backup/bootmgfw.efi /mnt/EFI/Microsoft/Boot/bootmgfw.efi
  • Rearrancar o PC.
Início

6. Como alterar o default de arranque do UEFI

A alteração do default de arranque do UEFI pode ser feito em Windows ou em Linux:
  • Windows: Para alterar o arranque do UEFI executar o seguinte comando na janela de comandos do Windows (cmd) como administrador:
    bcdedit  /set   {bootmgr}   path   \EFI\ubuntu\grubx64.efi
    ou
    bcdedit  /set   {bootmgr}   path   \EFI\ubuntu\shimx64.efi

    de acordo com o ficheiro que estiver na pasta "\EFI\ubuntu" da partição "EFI".

  • Linux: Para o fazer em Linux:
    efibootmgr -o <num1>,<num2>,<num3>,...
    em que os <numX> são escritos pela ordem que se deseja fazer o boot.
Início

7. Como criar uma partição UEFI

  • Linux (gparted): Formatar a partição em fat32 e acrescentar o parâmetro "esp".
Início

8. Como criar uma partição UEFI com o boot do Windows

A criação pode ser feita a partir da janela de comando do menu de erro antes de arrancar o Windows. Executar o 'diskpart'
$ diskpart
dentro do programa, listar os discos para escolher o conveniente (exemplo: vai escolher-se o "0"):
DISKPART> list disk
DISKPART> select disk 0
em seguida seleccionar a partição na qual o sistema Windows está instalado (exemplo: vai escolher-se a partição 3):
DISKPART> select partition 3
DISKPART> assign
depois selecciona-se a partição do UEFI e sai-se do 'diskpart' (exemplo: vai escolher-se a partição 1):
DISKPART> select partition 1
DISKPART> assign
DISKPART> exit
agora é preciso encontrar as letras associadas a estas duas partições. Para tal vai-se experimentando até as encontrar...
$ dir C:\
$ dir D:\
......
finalmente o comando que cria o arranque do Windows na partição EFI (admite-se que "C:" é a partição EFI e "E:" a partição do sistema Windows):
$ bcdboot E:\Windows /s C: /f UEFI /addlast /v
O qualificador "/addlast" serve para pôr o boot do Windows no final (caso não se queira não pôr nada); o qualificador "/v" serve para ter mais informações (verbose); "/f UEFI" indica que o boot é para o UEFI.

Nota: Para saber as letras associadas a um disco pode fazer-se "datail disk".

Ver: Recuperação da partição EFI windows 8 UEFI

Início

9. Documentação e Links Úteis

Início