デバイスの数、全アーキでのべで足し算したら、Linux に勝ってんじゃないの?