This is a Linux distro, not "their own OS". Many countries all over the world have had government-subsidized Linux distro projects, at national, state and city government levels. It's something that happens pretty quickly whenever and whereever a large deployment happens (e.g. LiMux).
For that matter, many a CS faculty at many a university have actually created their own OS. Nothing too sensational either.