It is reported that Red Star OS's latest version is 4.0. Does anyone happen to have a copy of this operating system or ISO? I can see from the headers of "http://www.airkoryo.com.kp/" that it's being used (as identified by wikipedia),

Server: Apache/2.2.15 (RedStar4.0)