Linux source code for Rockchip RK3188 devices now available
http://liliputing.com/2013/06/linux-source-code-for-rockchip-rk3188-devices-now-available.html