Kernel Source code?

apt install raspberrypi-kernel-headers

Respectively the final firmware repo with compiled kernel and bootloader: GitHub - raspberrypi/firmware: This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU firmware.