There is already a complete build environment based on work done by Linaro(RFS) and Rockchip(kernel).
I am not sure if it makes sense to re-invent the wheel ?
http://www.bitkistl.com/2016/09/the-rockchip-toolbox.html
Last week we got some performance patches from Willy Tarreau (you know - the cluster guy, build farm)
With that It was possible to run Kodi, smplayer and some webGL demo at the same time, I just used some of the patches (e.g.set cpu throttling to 80+)
http://1wt.eu/miqi/ https://forum.mqmaker.com/t/miqi-based-build-farm-finally-up-and-running/605/1
Demo Video:
https://yo