色々あって、中古の Lenovo X201 を買ってきた。見た目は新品同様。Core i5-520M、memory 4GB、税込み 3.9 万円。取り敢えず CentOS6.5 を突っ込んだ。