Кстати, интересно, а северокорейский линукс, вот этот: http://en.wikipedia.org/wiki/Red_Star_Linux в принципе каким-нибудь образом можно раздобыть в интернетах? Было бы забавно.