GPD has a few devices. The new ones aren't cheap, but their older ones are. http://www.gpd.hk/ http://www.gpd.hk/ The older GPD Micro PC can be found for a bi

GPD has a few devices. The new ones aren't cheap, but their older ones are. http://www.gpd.hk/ 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