North Korean Red Star Linux operating system details emerge

[Michael Haney]

http://news.bbc.co.uk/2/hi/technology/8604912.stm

Who could have imagined that Linux would ever have been used in this
fashion.  I wonder if this violates the GPL in any way.  Its probably
a foregone conclusion that the N. Korean government has no intention
of upholding the rules of the GPL and have made the source code for
Red Star a state secret.  A truly sad day for the Linux Community,
seeing Linux, which promotes freedom, being used to perpetuate a
regime which is against Freedom in all its forms.