I wonder if they are complying with GPL. The "secret cyber-weapon" can't be so secret if they are also supplying source code, right?
Then again, I'd imagine it would be tough to put legal pressure on the DPRK when the combined diplomatic efforts of the West can't get them to budge....