Found by coincident and might be usefull to all looking for images and source codes. All in one place - including kernels.
https://dev.banana-pi.org.cn/