Please show different software platforms and the corresponding number of devices using each.
create table device (software_platform varchar, PRIMARY KEY (software_platform))
select software_platform, count(*) from device group by software_platform