Telechips has just uploaded the GPL source code for kernel 3.0.8 and Android 4.0 to the open source section of their website.
If downloading from telechips website is too slow, you can also try alternate downloads (Thanks Gabe!):
I’ve also created 2 repositories in github:
- telechips-linux – Linux kernel source code
- telechips-android – Android platform open source code (webkit + OpenMAX source code)
It haven’t looked into the source code in details yet, but hopefully, this will allow developers to customize the firmware running on Telechips TCC8925 based mini PCs such as CX-01 mini Android TV Box or Zero Devices Z900.