a probably very different person from the speaker has since released RED STAR OS 3 as a torrent.

http://pastebin.com/cHAzyTE7

http://www.northkoreatech.org/2014/12/30/red-star-3-0-deskto...