Building a kernel module for Cyclone-V on 3.10-ltsi

hi there,

I have (inherited) a Cyclone-V board with a 3.10-ltsi kernel:

$> uname -a
Linux cyclbrd 3.10.31-ltsi-05172-g28bac3e #1 SMP Tue Oct 18 16:02:00 EDT 2016 armv7l GNU/Linux

I have been trying to fetch the exact kernel sources that were used for this installation to be able to build a minimal kernel module, to eventually install a module handling IRQs as explained here:

unfortunately, the various instructions I have been able to recoup or dig up make all references to the now disappeared git repo:

  • git://

and the one at:

I have found:

    => 3.10.31-ltsi-04982-g7849522
    => Linux-3.10.31-ltsi-04999-g78002d
    => 3.10.31-ltsi-05131-g55fdf0e

has anyone kept the whole history for the linux-socfpga-3.10-ltsi branch?

ok, I’ve found something at

I’ve gathered everything there: