Red Star OS is available from http://www.openingupnorthkorea.com/DPRK%20Red%20Star.iso

Once found it through the wikipedia page about it. Installed it in a VM and ran it full screen to scare some of my colleagues :-)