Where to find the matching kernel config?

[matthiasklein]

Where can I find the matching / recommended kernel configuration for e.g. the rpi-3.12.y branch?

The file arch/arm/configs/bcm2835_defconfig is over a year old.

[notro]

bcmrpi_defconfig is used to build the official kernel.

[matthiasklein]

Thanks!