Good news! I’ve just read Rockchip RK3188 Linux source code has just been released via Rikomagic, and Alok Sinha, the main maintainer of RK3066 source code, has already imported into github, and we should soon see a PicUntu image for RK3188 mini PCs.
Let’s have a look:
git clone git://github.com/aloksinha2001/Linux3188.git
[Update: you may have to run “sudo apt-get install libc6-i386” before running make_kernel_ruikemei.sh below, as mkkrnlimg is a 32-bit binary]
Usually, I immediately look into arch/arm/configs, but this time, there’s a “funny” script called make_kernel_ruikemei.sh, and .config already have some CONFIG_RK3188, so let’s run it:
After just over a minute, success!:
Kernel: arch/arm/boot/Image is ready
cmd:/home/jaufranc/edev/sandbox/rk3188/Linux3188/arch/arm/boot/Image /home/jaufranc/edev/sandbox/rk3188/Linux3188/kernel.img [(null)]
kernel Image:/home/jaufranc/edev/sandbox/rk3188/Linux3188/kernel.img for mid is ready.
Image: kernel.img is ready
This kernel image is for Android only, and there’s a little work to modify it as a “pure” Linux kernel, so that it can be used to boot PicUnutu for RK3188.
Let’s go back to arch/arm/configs, and we’ll find several RK3188 configs:
However, in arch/arm/mach, there are only board files for rk3188-box and rk3188-ds1006h.