IIRC it's mostly bog-standard. Most of their modifications are either simply changing the branding, changing the i18n files, or adding custom software. That said, it would probably be quite fun to send GPL-compliance requests for source code, I almost want to try :)
Hah, someone ought to tell rms. If anyone would actually go to N. Korea and confront Kim, it would be him. Or maybe the gov't could go after N. Korea on the license violation under the Berne convention? Like tax evasion bringing down Al Capone, though I'm sure it wouldn't work.
