GPD has a few devices. The new ones aren't cheap, but their older ones are.

http://www.gpd.hk/

The older GPD Micro PC can be found for a bit cheaper than their newer ones. But they're likely more expensive than you are looking for I think! Though on the other hand, they're very easy to run whatever OS you want on them