Number of users

Somebody can say me the number of Operating Users to NIOS II?

I wanna a list with the numbers of users of each operating system, for example, how many people are using Microtronix Nios II Linux Distribution?

There are more people with Microtronix or with Micrium?

and the others operating systems to NIOS II (Kros, PrKernel, Nucleus and MiSPO), Dont they have a lot of users?

thanks