Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/
Why do you think that https://github.com/markondej/fm_transmitter is a good alternative to linux