u-boot tree for GK802 and HI802 "HDMI dongle"/"tv stick" quad core minicomputers - View it on GitHub