Two of those Repos were last updated in March ... did you try the latest official Alpha?
That 2nd Repo i linked. Official one. Which just doesn't boot.
The beta version (which is v10 Alpha for Rockchip) doesn't work too (which to be expected, since i tried compilation from github)