First of all, many thanks for this great job !
Any update on the ugly workaround ?
Since then, two new kernels were already deployed (updated yesterday and got 3.10.21+).
Would it be possible to post the latest headers for 3.10.21+ ?
I presume building thoses packages is not straighforward, could some howto be posted for this ?
Thanks in advance.
been quite busy at work, haven't had much time to look at this. I can think of two solutions, which both have their good and bad sides:
1. Create a script that clones/tracks the RPi kernel git locally, and generates headers automatically during gamecon/db9 installation.
+Stays up to date with RPi kernel
-High overhead: needs >1GB space and update/build takes some time on Pi
2. Stop generating customs headers, force the user to install a kernel version which has the headers in the official repo
+No need for continuous custom header .debs
-No way to use the most recent kernel / rpi-update
-Needs modication of /boot/config.txt to include "kernel="-flag
I don't personally like either of these options, but the latter is more realistic.
The build procedure is actually quite straightforward, but it should be automated to trigger on a kernel update...