Eu comprei um, Thinkpad T440, to utilizando o Debian, debian é meu xodó desde que tinha 13 anos e descobri o que era Linux kkkkk.