Hi, I was looking for Rexnos 5260 devboard information when I found this: http://git.rexred.org/?p=rex/red/kernel/linux-3.4.39.git A 3.4.39 kernel suitable for the board. Digging a bit into the kernel, I found several Exynos BSP provided with it, especially a mach-universal_c210.c in mach-exynos directory, or mach-smdkv210.c in mach-s5pv210 directory. It seems PVR SGX540 drivers are also present looking at the makefile present in drivers\gpu\pvr : ccflags-$(CONFIG_CPU_S5PC110) += \ -DPVR_BUILD_DIR="\"pvr\"" \ -DDISPLAY_CONTROLLER=s3c_lcd \ -DSLSI_S5PC110 \ -DSGX540 -DSUPPORT_SGX540 \ -DSGX_CORE_REV=120 I'm quite sure there is something to do to adapt this kernel for our Mini210s. This will allow us to get a newer kernel than the original 3.0.8 we have. Then maybe we could have a recent android version running on mini210. I put this information here as I'm quite a noob in kernel development, I like learning and finding it very interesting, but I go forward slowly and it will take me considerable time to manage to get this kernel working for our mini board, and I'm quite busy at the moment. So if somebody wants to participate to the effort, it would be nice...