Mám Odroid HC4 mám, jsou dvě varianty s OLED dislpejem a bez.
SD kartu mám s oficiálním operační systém od Hardkernel, což je staré jádro 4.9.241 a Ubuntu 20.04.2 LTS. Existuje i novější jádro myslím přes armbian 5.4, ale to neumí OpenCL.
HC4 má Petitboot, což je takové jednoduché prostředí, kam se dostanete bez SD karty. Ten armbian to bohužel nepodporuje.
Jestli jde provozovat bez SD karty jsem nezkoušel, zatím s ní nejsou problémy.