BPI-M2+ Kernel sources / headers for 2016-07-13-raspbian-jessie-bpi-m2p.img.zip image

I want to use a Technotrend CT2-4400 v2 device with the BPI-M2+ on the 2016-07-13-raspbian-jessie-bpi-m2p.img.zip image (or any other). The CT2-4400 is supported since kernel 3.19 (TechnoTrend TT-TVStick CT2-4400 - LinuxTVWiki). For older kernels, support can be build by hand (How to Obtain, Build and Install V4L-DVB Device Drivers - LinuxTVWiki). However, that procedure yields an error message:

./scripts/make_kconfig.pl /lib/modules/3.4.112-sun8i/build /lib/modules/3.4.112-sun8i/build 1
Preparing to compile for kernel version 3.4.112
File not found: /lib/modules/3.4.112-sun8i/build/.config at ./scripts/make_kconfig.pl line 33, <IN> line 4.
Makefile:383: recipe for target 'allyesconfig' failed
make[1]: *** [allyesconfig] Error 2
make[1]: Leaving directory '/home/pi/media_build/v4l'
Makefile:26: recipe for target 'allyesconfig' failed
make: *** [allyesconfig] Error 2
can't select all drivers at ./build line 521

Turns out that /lib/modules/3.4.112-sun8i/build/ is a broken link to /usr/src/linux-headers-3.4.112-sun8i. Where can I get these headers from?

Or are there any plans to release an image with a newer kernel (4.x?). Currently the armbian images do not sound very encouraging, as I will need Mali support.

Have you already looked at https://forum.armbian.com/

Thanks for the advice. The latest nightly did not even boot fully (screen remained black), I will try older ones …