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
regards
On 16/02/18 19:18, Damien D wrote:
Hi,
I'm using this working machinekit image:
https://rcn-ee.com/rootfs/bb.org/testing/2017-02-12/machinekit/
As you might know, this kernel have some USB hot plug issue and I have
a patch
<https://github.com/damien-dd/remotemanager/blob/master/remotemanager_server/system/kernel/linux-3.8.13/patches/usb/0014-usb-musb-hotplug-vbuserror-fix.patch>
for it that I would like to apply.
For that I need to (re)compile the kernel and maybe also kernel
modules (including those from machinekit?)..
At the moment I'm stuck at the easiest part, I cannot find/don't know
where to look the exact sources that have been used to build the
kernel within the image
<https://rcn-ee.com/rootfs/bb.org/testing/2017-02-12/machinekit/> I'm
using.
Does anyone know where I can find sources&makefiles that have been
used to produce the kernel (3.8.13-xenomai-r83) that is in this image?
or even for the all rootfs image?
Thanks
--
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 [email protected]
<mailto:[email protected]>.
Visit this group at https://groups.google.com/group/machinekit.
For more options, visit https://groups.google.com/d/optout.
--
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 [email protected].
Visit this group at https://groups.google.com/group/machinekit.
For more options, visit https://groups.google.com/d/optout.
