apt update
apt upgrade

Commencez par identifier votre clé USB / carte SD

lsblk

La commande nous retourne le résultat suivant :

root@mneme:/media# lsblk 
NAME               MAJ:MIN RM   SIZE RO TYPE  MOUNTPOINT
sda                  8:0    0 111,8G  0 disk  
├─sda1               8:1    0   243M  0 part  /boot
└─sda5               8:5    0 111,6G  0 part  
  └─sda5_crypt     254:0    0 111,6G  0 crypt 
    ├─mneme-root   254:1    0   107G  0 lvm   /
    └─mneme-swap_1 254:2    0   4,6G  0 lvm   [SWAP]
sdb                  8:16   0 465,8G  0 disk  
├─sdb1               8:17   0   243M  0 part  
├─sdb2               8:18   0 450,1G  0 part  
└─sdb3               8:19   0  13,5G  0 part  
mmcblk0            179:0    0  14,9G  0 disk  
└─mmcblk0p1        179:1    0  14,9G  0 part  
root@mneme:/media#

On constate que notre carte SD correspond à mmcblk0.

Pour cela j'ai suivi la documentation suivante : https://ecirtam.net/wiki/doku.php?id=wiki:arm:bananapi_m1
On installe mkimage

apt install u-boot-tools

wget http://ftp.uk.debian.org/debian/dists/stretch/main/installer-armhf/current/images/netboot/SD-card-images/partition.img.gz
wget http://ftp.uk.debian.org/debian/dists/stretch/main/installer-armhf/current/images/netboot/SD-card-images/firmware.BananaPro.img.gz
sudo bash -c 'zcat firmware.BananaPro.img.gz partition.img.gz > /dev/mmcblk0'
sudo sync

On monte la carte SD

mount /dev/mmcblk0p1 /media/usb/

Attention, on monte mmcblk0p1 et non mmcblk0.
On se place dessus

cd /media/usb

Et on exécute les commandes décrites dans la documentation :

echo "#" > boot.cmd
echo "setenv console tty1" >> boot.cmd
echo "setenv bootargs console=tty1 fb=false priority=critical auto=true interface=auto netcfg/dhcp_timeout=60 console-setup/layoutcode=fr DEBCONF_DEBUG=5 preseed/interactive=true" >> boot.cmd
tail -n +2 boot.scr >> boot.cmd
mkimage -C none -A arm -T script -d boot.cmd boot.scr

Maintenant branchez le cable HDMI, le cable ethernet, puis ensuite l'alimentation. Attention, il y a deux ports micro-usb (l'alimentation et un OTG). Pour ne pas vous tromper vous pouvez consulter le schéma technique . L'installation prend un certain temps (10-15 minutes).

Après l'installation, si on fait un df -h, on peut observer la façon dont la carte SD a été partitionnée

mmcblk0     179:0    0  14,9G  0 disk 
├─mmcblk0p1 179:1    0   243M  0 part /boot
├─mmcblk0p2 179:2    0  13,8G  0 part /
├─mmcblk0p3 179:3    0     1K  0 part 
└─mmcblk0p5 179:5    0   969M  0 part [SWAP]

• Installation de Debian sur BPi m1+ : https://ecirtam.net/wiki/doku.php?id=wiki:arm:bananapi_m1
• Infos sur la preseed décrite dans la documentation : https://medspx.fr/blog/Debian/preseed_snippets/
• Choisir la carte SD : https://raspbian-france.fr/creez-carte-sd-raspbian-raspberry-pi-windows/
• Environnements graphiques Linux : https://memo-linux.com/les-environnements-de-bureau-sous-gnulinux/