Kernel source for Raspbian image?

[tom.k.cook]

I've just downloaded 2017-03-02-raspbian-jessie.img. It's running kernel 4.4.50+. Where can I get the source for this kernel as built in the distribution?

The rpi-4.4.y branch of https://github.com/raspberrypi/linux doesn't include it - the HEAD of that branch is apparently still 4.4.48.

Is this tagged, or archived, or something, somewhere?

[ktb]

Try this:
https://github.com/notro/rpi-source
https://github.com/notro/rpi-source/wiki

This question is asked and answered very frequently on this website.

EDIT: Sorry, I didn't read carefully. If you want a specific version of the entire kernel source, then you can use git checkout with a specific commit hash.

https://github.com/raspberrypi/linux/commits/rpi-4.4.y

[DirkS]

The rpi-4.4.y branch of https://github.com/raspberrypi/linux doesn't include it - the HEAD of that branch is apparently still 4.4.48.

Are you sure? https://github.com/raspberrypi/linux/commits/rpi-4.4.y and https://github.com/raspberrypi/linux/co ... 232a7dc60d seems to suggest otherwise.