We have the full toolchain and setup dockerized here: https://gitlab.com/voxl-public/rb5-flight/rb5-flight-px4-build-docker
Following that setup, you will install the Hexagon SDK which provides more info on the lower level stuff.
But, the PX4 code as shown above is what runs on the DSP.