Kernel source optimized for Pipo M9 Pro.
This repository contains source of 3.0.36+ kernel for some RK3188 devices. This source modified
and optimized especially for Pipo M9 Pro by me.
How to build: 
For better performance use Linaro 4.9 toolchain with this example environment variables set
_________________________________________________________________________________________________________________________
export PATH=/media/90gb/linaro_toolchains_2014/arm-cortex_a9-linux-gnueabihf-linaro_4.9.3-2014.12/bin/:$PATH
export ARCH=arm
export SUBARCH=arm
export CROSS_COMPILE=/media/90gb/linaro_toolchains_2014/arm-cortex_a9-linux-gnueabihf-linaro_4.9.3-2014.12/bin/arm-eabi-
_________________________________________________________________________________________________________________________
Then in source directory make your defconfig, defconfig for M9 Pro is Pipo_M9_Pro_DDR_OC_defconfig.
First is default config, second contains overclocked to 1600 Mhz RAM with 10-10-10 timings and custom bootlogo.
Then make kernel with make -j <your number of CPU cores+1> kernel.img
Then you can flash your kernel