Mary Gardiner mary-sounder at
Thu Sep 16 18:34:14 UTC 2004

On Thu, Sep 16, 2004, Josh King wrote:
> Can anyone tell me where to get the kernel source for the default
> kernel? It doesn't show up in the apt scources when I
> search for it.

I think this is what you want:

$ apt-cache search linux-source
linux-source- - Linux kernel source for version with Debian patches

Ubuntu kernels are named linux-image rather than kernel-image, and it
seems the source is named likewise.


More information about the ubuntu-users mailing list