According to an article from the Pyongyang Times earlier this year, it looks like Red Star 4.0 is finally finished. This matches what we’ve been seeing as more sites are now showing 4.0 as their OS version

Click to access 6.pdf