Résumé de l'installation
C'est une installation assez exigeante. Malgré les difficultés, installer un GNU/Linux sur cette machine est une bonne chose, car le W$ initial prend toute la place sur le disque SD de 31 Gio.
Cette machine n'acceptera que des Systèmes en 64 bits, et ne s'installe qu'en mode EFI.
Cette machine ne boote pas sur les clés USB faites avec [doc]Unetbootin[/doc] mais elle bootera bien sur une clé [doc]Multisystem[/doc].
Une clé rendue bootable par [doc]Etcher[/doc] bootera aussi bien sur cette machine.
Parmi les systèmes d'exploitations présents sur la clé Multisystem, certains bootent, d'autres non:
- Ubuntu 18.04-desktop-amd64: boote, mais fontionne très lentement
- Xubuntu 18.04-desktop-amd64: boote et fonctionne correctement
- Trisquel 7.0 i686: boote et fonctionne correctement
- Debian Jessie 686 pae: pas de boot
D'autres Distros testées comme ArchLinux ou Antix n'ont pas booté non-plus.
Pour cette machine qui a 1.8 Gio de RAM, Xubuntu semble un bon choix.
Le bureau est n'est peut-être pas très adapté à ce petit écran, mais il peut être personnalisé par la suite avec des icônes plus grandes etc...
La session LIVE et l'install se passent bien. Mais au reboot après installation, la machine ne trouve pas la partition de boot et renvoie le message "No bootable Device".
Il faut alors réparer le boot en utilisant [doc]rEFInd[/doc] et [doc]chroot[/doc]. (Voir procédure ci-dessous)
Avant de vous lancer dans la procédure vérifiez ceci:
Le disque contient alors deux partitions, vous pouvez les contempler en LIVE avec [doc]Gparted[/doc]:
- la partition de boot: /dev/mmcblk0p1 (formatée en FAT32)
- la partition systéme: /dev/mmcblk0p2 (formatée en ext4)
Si jamais vos partitions portent d'autres noms, modifiez les noms des partitions dans la procédure qui suit:
1. Dans une session LIVE:
Avec [doc]chroot[/doc], se rendre dans le système installé pour le modifier:
sudo mount -v /dev/mmcblk0p2 /mnt
sudo mount --bind /dev /mnt/dev
sudo mount --bind /sys /mnt/sys
sudo mount --bind /run /mnt/run
sudo mount --bind /proc /mnt/proc
sudo mount --bind /run/resolvconf /mnt/run/resolvconf
sudo chroot /mnt mount -t devpts devpts /dev/pts
sudo chroot /mnt
2. Vérifier qu'internet fonctionne:
ping -c 5 8.8.8.8
ping -c 5 google.com
3. Installer Refind
sudo apt-add-repository ppa:rodsmith/refind
sudo apt-get update
sudo apt-get install refind
4. Créer un répertoire de boot (le système saura ce qu'il faut mettre à l'intérieur)
et indiquer que refind remplace windows.
sudo umount /dev/mmcblk0p1
sudo mount /dev/mmcblk0p1 /mnt
sudo mkdir -p /mnt/EFI/Microsoft/Boot #création du répertoire de boot
sudo ls -ls /mnt
sudo ls -ls /mnt/EFI
sudo ls -ls /mnt/EFI/refind
sudo ls -ls /mnt/EFI/Microsoft
sudo cp /mnt/EFI/refind/refind_x64.efi /mnt/EFI/Microsoft/Boot/bootmgfw.efi
Au reboot vous devriez voir apparaître le menu de boot de rEFInd.
