On Fri, Feb 16, 2018 at 1:45 PM, 'schooner30@btinternet' via Machinekit <machinekit@googlegroups.com> wrote: > You should find the source package in the repo has the full source files > > http://deb.machinekit.io/debian/pool/main/l/linux/linux_3.8.13.orig.tar.xz > > Don't bother trying to use apt, just download from the http link and > unarchive it > > The config file distributed with the kernel should be able to be renamed > .config in the source tree root dir and you have the build setup that > produced the kernel in the package
Those files are out of date for that kernel: linux_3.8.13-12~1jessie~1da.debian.tar.xz 2016-03-04 11:051.7M linux_3.8.13-12~1jessie~1da.dsc 2016-03-04 11:051.8K linux_3.8.13-12~1wheezy~1da.debian.tar.xz 2016-03-04 11:051.7M linux_3.8.13-12~1wheezy~1da.dsc 2016-03-04 11:051.8K linux_3.8.13.orig.tar.xz 2016-03-04 11:0568M 3.8.13-xenomai-r83 was tagged: https://github.com/RobertCNelson/bb-kernel/commits/3.8.13-xenomai Jan 4, 2017 10 months later.. Regards, -- Robert Nelson https://rcn-ee.com/ -- website: http://www.machinekit.io blog: http://blog.machinekit.io github: https://github.com/machinekit --- You received this message because you are subscribed to the Google Groups "Machinekit" group. To unsubscribe from this group and stop receiving emails from it, send an email to machinekit+unsubscr...@googlegroups.com. Visit this group at https://groups.google.com/group/machinekit. For more options, visit https://groups.google.com/d/optout.