The Lenovo T580 is IMHO a pretty solid laptop for Linux developers. I've owned one since 2018.
Beyond that firmware available in Debian Unstable non-free packages, I've needed to install:
- iwlwifi-8265-36.ucode for the Intel 82x5 wireless controller
- kbl_dmc_ver1_04.bin for the Intel UHD 620 graphics
- ArchWiki's Lenovo page
- Ubuntu's T580 certification page