I got one of the newer ones a few months ago, running Arch. It's got great battery life, very light, pretty powerful. It wasn't the cheapest (I think around $1,

I got one of the newer ones a few months ago, running Arch. It's got great battery life, very light, pretty powerful. It wasn't the cheapest (I think around $1,300, can't remember), but I suspect it will last. Only "linux issue" is that the media keys didn't work out of the box. Actually, I've never gotten around to figuring out why, maybe I'll do that now.