There was an announcement a while back that North Korea had come out with its own version of Linux (called Red Star OS). I dropped by the official North Korean site, and found their contact information. I sent a polite email asking for a download link for their distro, but I never heard back...