First pkg-config-dbgsym needs to be installed. If you are going to be doing more kernel development than simple configuration changes you may want to look at: Kernel Git Guide More information about using git to pull down the kernel sources. Partners Support Community Ubuntu. Kernel Git Guide More information about using git to pull down the kernel sources. Kernel Git Guide. ARM Cross Compile. If you do not want to download whole kernel commit history which is well above 1 GiB , you can download only such part of the kernel Git repo that leads to your desired branch.
It only works for tags currently unfortunately, not arbitrary commits, due to how the cgit git server works and is configured. See also: Why is the git clone of the Linux kernel source code much larger than the extracted tar.
Sign up to join this community. The best answers are voted up and rise to the top. Stack Overflow for Teams — Collaborate and share knowledge with a private group. Create a free Team What is Teams? Learn more. Where to download Linux Kernel source code of a specific version? Ask Question. Asked 9 years, 2 months ago. Active 1 year, 7 months ago. Here is how to download and install full kernel source tree from Debian or Ubuntu repositories. Before downloading kernel source, install dpkg-dev , which contains a suite of development tools needed to build Debian source packages.
Among other things, dpkg-dev contains dpgk-source tool which can extract a Debian source package and automatically apply patches.
Upon the completion of download, the above command will automatically invoke dpkg-source tool, which will unpack the downloaded kernel source in the current directory, and apply downloaded patches according to. We have done unpacking the kernel and now we need to point the default linux kernel source to our newly copied kernel source which the other packages should be pointing or using from.
Follow the below commands to do that:. How to download the Linux kernel source? Share this: Twitter Facebook.
0コメント