First, let me say congratulations to all Chinese members of LQ for the success of the Chang'e 3 mission so far! Nicely done!

I know that China has been actively using GNU/Linux, Red Flag Linux developed in part by the Software Research Institute of the Chinese Academy of Sciences being one example.

But I have searched and not yet found any overt mention of Linux referenced to the Chang'e 3 mission.

The lander craft itself and rover both carry quite a lot of onboard "smarts", although one might expect those to use purpose written software on very specialized hardware. But surely the ground systems would make extensive use of Linux, and the Chinese Academy of Sciences would certainly have a presence there!

So my question, is anyone aware of specific GNU/Linux use for this program?

Like you say, I'm sure that Linux is being used at some point in the program because of the direction the nation has taken their IT infrastructure. Some specific details would be interesting though.