現在のカーネルのバージョンを調べる
$uname -r 3.11.0-19-generic
apt-cacheでパッケージを探してみる。
$ apt-cache search linux-source linux-source - Linux kernel source with Ubuntu patches linux-source-3.2.0 - Linux kernel source for version 3.2.0 with Ubuntu patches
3.2.0しか見つからない
バージョンの文字列でパッケージを探してみる。
$ apt-cache search 3.11.0-19-generic linux-headers-3.11.0-19-generic - Linux kernel headers for version 3.11.0 on 64 bit x86 SMP linux-image-3.11.0-19-generic - Linux kernel image for version 3.11.0 on 64 bit x86 SMP linux-signed-image-3.11.0-19-generic - Signed kernel image generic linux-tools-3.11.0-19-generic - Linux kernel version specific tools for version 3.11.0-19
なんか、linux-image-3.11.0-19-genericがカーネルっぽい。
ので。
$ apt-get source linux-image-3.11.0-19-generic
とれた。