I would offer you look at Chromebooks as well. The developer option enables a debian environment that runs with native performance. And since chromebook is on the nix kernel you know hardware will...