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

Red Star OS is available from http://www.openingupnorthkorea.com/DPRK%20Red%20Star.iso 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 :-)