I own a pinebook. It's a fun little machine, but if you need anything other than light web browsing (without javascript) and basic text editing it's insufficien

I own a pinebook. It's a fun little machine, but if you need anything other than light web browsing (without javascript) and basic text editing it's insufficient. It's also based on an Allwinner SoC that only has ok Linux support: https://linux-sunxi.org/Main_Page https://linux-sunxi.org/Main_Page. Also, the keyboard is cramped and has an odd layout.