They did a presentation about Red Star OS [1] using Red Star OS. Brilliant.<p>EDIT: <a href="http:&#x2F;&#x2F;streaming.media.ccc.de&#x2F;32c3&#x2F;hall6" rel="nofollow">http:&#x2F;&#x2F;streaming.media.ccc.de&#x2F;32c3&#x2F;hall6</a><p>[1] <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Red_Star_OS" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Red_Star_OS</a>