more than android? a year ago there were 2.5 billion active android devices, that's a bunch of linux kernels! [edit] not to mention chromebooks and i would as

more than android? a year ago there were 2.5 billion active android devices, that's a bunch of linux kernels! [edit] not to mention chromebooks and i would assume most of their consumer products (chromecasts, etc.)