http://www.phoronix.com/scan.php?page=news_item&px=MTM4MjU
http://store.steampowered.com/hwsurvey?may13
Можно считать, что подтвердился факт, что Linux (который GNU/Linux с X-сервером, а не тот который Android с Dalvik'ом) занимает 1%.
P.S.:
Мне кажется из общего числа линуксойдов, несколько больше народу поставило steam, чем из общего числа вин-юзеров. Ведь кто в основном пользуется GNU/Linux? Это же ведь молодые люди, которые не обременены семьей в возрасте 15-35 лет (как правило школьники старших классов, студенты/аспиранты, молодые специалисты и т.д.), которым зачастую помогают финансово родители (исключением являются высококлассные специалисты, которые зарабатывают разработкой под Linux или его администрированием). И ведь большинство геймеров попадает под возраст 15-35 лет. Я не думаю, что много тех, кому за 50 и он играет в Crysis, WoW или еще что-то. Максимум, во что такие люди играют, так это – пасьянс, Angry Birds и просие каузальные игрушки.