Mal SD-Karte mit
https://packages.debian.org/search?keywords=gparted vorpartitionieren und dann Debian-Installer benutzen!
Die Partition für /boot/efi ist bei mir vom Typ
fat32, Größe etwa 100 MiB / 105 MB.
Ich habe noch keine Installation auf SD/MMC gemacht, meine jedoch, es funktioniert analog wie auf FP mit Besonderheiten wegen SD:
ohne swap (wegen begrenzter Schreibzyklen der SD)
/ (root), ext4, Rest der SD-Karte, Home-Verzeichnis (keine Partition) sollte automatisch angelegt werden
(Separate Home-Partition würde ich nicht machen, da Platzbeschränkung der SD-Karte. Wenn doch, sollte / (root) eine Größe von 12..15 GiB besitzen, Typ ext4 und /home eben Rest der SD mit ext4.)
Dann den Installer tun lassen.
Hier bin ich mir nicht allgemein sicher, der Debian-Installer wird es schon richtig tun:
Bootloader nicht in Partition schreiben, sondern direkt nach sdX. Jedenfalls musste ich nach einer versehentlichen Formatierung von /boot/efi so tun, Reparatur halt.
Und nicht vergessen, vorher das BIOS vernünftig einzustellen (UEFI/GPT). Secure Boot erstmal aus. Viel Erfolg!
Debian-ISOs:
Musst du mal nach deiner CPU schauen:
https://www.debian.org/releases/stable/ ... installer/
Ob das für deine CPU gleich mit unfeien Treibern klappt, weiß ich nicht:
http://cdimage.debian.org/cdimage/unoff ... -firmware/