Whither source for 3.8.13-bone79?

I have a Beaglebone Black which shipped with the above-mentioned kernel. I’d like the kernel source so I can make a customization, but I cannot find it anywhere. I tried “apt-get source linux-image-3.8.13-bone79” in the rcn-ee source repo, and looked through a number of github repositories, but haven’t found a match.

I know I could just upgrade, but I’m not sure if one of the modules I’m using (pps-gmtimer) has been ported to modern kernels.

Thanks in advance,

Mark

I have a Beaglebone Black which shipped with the above-mentioned kernel.
I'd like the kernel source so I can make a customization, but I cannot find
it anywhere. I tried "apt-get source linux-image-3.8.13-bone79" in the
rcn-ee source repo, and looked through a number of github repositories, but
haven't found a match.

git clone GitHub - RobertCNelson/linux-stable-rcn-ee
cd ./linux-stable-rcn-ee
git checkout 3.8.13-bone79 -b tmp

I know I could just upgrade, but I'm not sure if one of the modules I'm
using (pps-gmtimer) has been ported to modern kernels.

gmtimer is now "partially" available in 4.4.x/4.5.x the driver is in
mainline, but the driver hooks should hit rc2/rc3 and i'll backport
that to 4.4.x..

Regards,