Oder was auch noch gut sein könnte wäre ein Dell Mini 10 mit 16GB SSD und Ubuntu für rund 250€ aber mit dem kenne ich mich nicht aus.