V831 SDK

Can you put a copy of the V831 SDK up on github? Or tell me where to find it?

Scanning the github repo at sipeed, it looks like https://github.com/sipeed/libmaix is it. Also, would find where the OpenWRT repo is. I posted a question on the youtube https://www.youtube.com/watch?v=o2dXIO8-pvg&t=79s about encoding video, looks like it is possible. I think the kernel and libraries will be fixed to the version allwinner released since it is all binary libraries.