A lot of the debian hackers are going with the Thinkpad x40. I've never looked at the specs for it though. I personally love my 12" iBook and would not trade it in for any other notebook in the world! -Joe