Here’s the summary for the wikipedia article you mentioned in your comment:

Red Star OS (Korean: 붉은별; MR: Pulgŭnbyŏl) is a North Korean Linux distribution, with development first starting in 1998 at the Korea Computer Center (KCC). Prior to its release, computers in North Korea typically used Red Hat Linux, and later switched to modified versions of Microsoft Windows with North Korean language packs installed. Version 3. 0 was released in the summer of 2013, but as of 2014, version 1. 0 continues to be more widely used.

^{to opt out, pm me ‘optout’. article | about}

that’s linux