[Mini210] - Kernel 3.4.39 with gpu

Screwface
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...