skús odroid a máš na to priamo ubuntu distro. Pozri https://wiki.odroid.com/odroid-xu4/os_images/linux/ubuntu/ubuntu
To nevypadá jako vanilková distribuce kterou tazatel požaduje. Je to ekvivalentní tomu Raspberry - kernel, asi bootcode (nechce se mi to stahovat) a ovladač GPU je jejich.
To urcite neni, je to Ubuntu+Hardkernel repositar, z neho mimojine bere pro jadro+dtb balicek linux-odroid-5422(+ hromadku dalsich,
viz), bootloader u-boot (ten to rve na eMMC nebo microSD(viz /var/lib/dpkg/info/uboot.postinst))
Nemam XU4, ale HC1 coz je v interne to same (jen to ma na sobe SATA pres JMikron@USB3, mene USB portu, bez HDMI, atd), mam tam (X)ubuntu 18.04(maji to s Mate, ale nahradil sem za Xfce), takze pripojim opravenej
odkaz na tohle novejsi vydani s 4.14 (kdyz uz tu padl odkaz na 4.4 "ISO vetev")...
Takze jak pises, neni to rozhodne vanilkovej Debian, to je jak sem psal vejs prave to tazatelovo Raspberry, protoze to ma primo na debian.org image Debian10 preview ke stazeni tak jak si preje ;-) Predpokladam to stale pouziva nevanilkove jadro, ma to v sobe bootloader, atd... ale pokud vyzaduje opravdu reseni bez bootloader v image, tak musi par tisic pritlacit na ARM desku s UEFI ;-)