Just out of interest, what is linux's market share on consumer devices? (phones, pc's, etc not servers, routers or set top boxes)