Debian on Android [was Re: Chromebooks as Linux laptops?]