K HDMI: některé desky to mají blbě naroutované: http://arstechnica.com/civis/viewtopic.php?f=6&t=1191062
K systému: mám Orange Pi PC (osekaná levnější verze) a nejsem masochista, takže jsem tam hned dal Debian. Dají se sehnat různé image na fóru, ale kdo ví, co tam kdo přibalil, takže je nejlepší vzít z nich jenom kernel (a konfiguraci ubootu) a rootfs si postavit vlastní - nějak jako
debootstrap --arch=armhf --foreign jessie targetdir mirror
cp /usr/bin/qemu-arm-static targetdir/usr/bin/
chroot targetdir /bin/bash
Jinak objednal jsem Orange Pi One, což je ještě osekanější a ještě levnější ($13.5 z Aliexpressu).