Dell Latitudes also work great with Linux, in my experience. They are pretty solid since that's the business line. Bonus, you can get cheap used ones or parts for quite awhile.