A look into the mysterious operating system of North Korea.