[David] made him houses in the city of David; and he prepared a place for the ark of God, and pitched for it a tent.
So David gave him the lyrics, and these guys started singing and worshipping the Lord with this song or psalm.