Ben,
Recently I had a bunch of kernel's to choose from at boot time. But I
must have done some accidental cleanup (apt-get autoremove maybe) and
now from the 3.x series I have only 3.13. So it's what you were afraid of.
If there is any doable scenario in which I could build and run 3.12
version and be able to apply your patches, I can still engage in that.
But I would need some general preliminary guidance. I know were to find
upstream kernel source package, but not sure if I can work on them. If
there was a place to get deb files for 3.12, the rest should be easy.
Jarek
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
