ETA prime has been using a Pinebook Pro laptop with an ARM CPU. It has an aluminum shell and 14.1-inch display. Overall, he's impressed with the performance, but says he had a few missed-click problems with the trackpad, and isn't sure if it's a hardware or software issue.
But he says he would rather have the Lenovo Ideapad S130, a similarly priced Windows laptop that "crushes the Pinebook Pro" in terms of performance.
I went to the Pine64 website and learned that they also have an 11.6 inch Linux laptop for $100.