There are 4 repositories under greenstaros topic.
A research project into North Koreas Red Star OS, and a set of themes for making a Red Star OS clone.