I use a Thinkpad T480, slightly upgraded with 32GB RAM, SSD, glass touchpad. It runs Debian with Cinnamon beautifully!