Alternatively, there are these devices: http://en.wikipedia.org/wiki/Skytone_Alpha-400. These are MIPS-based (still a nice ISA), can run Linux and are the cheapest netbooks you can get. The best bet for getting one is to try an online auction site such as eBay and try searching for "MIPS", or the names that these cheapo devices go under.
Mathematicians stand on each other's shoulders. -- Gauss