I've made a script that builds an SD card for RockChip devices (currently only RK3288).
https://github.com/ericwoud/buildRKarch
It basically installs and configures all necessary packages.
RockChip specific package in the AUR is rk3288-uboot . It is build for the following devices. evb firefly miqi openhour phycore popmetal rock-pi-n8 vyasa tinker tinker-s
I only own an Openhour Chameleon, so this and Miqi are the only ones tested. Changes to mainline are minimal, so I assume the others will work as well. I would appreceate to hear from users if it does or does not work.
It optionally installs gnome (graphene needs neon disabled), FFmpeg and Kodi, in the postinstall script.
The Kodi package is entirely build without internal libraries.
Run Kodi in standalone mode or run gnome.
FFmpeg is build from the same source as FFmpeg for Kodi on LibreElec. It supports HW decoding on many RockChip socs, not only rk3288. Only needs mainline kernel. It is installed with package ffmpeg-v4l2-request-git from the AUR.
The packages are pre-build available in my repo, the script takes care of installing it.
Enjoy