I have no clue where you get a copy provided by North Korea, but it's easy to find online. On the Internet Archive for example https://archive.org/details/RedS

I have no clue where you get a copy provided by North Korea, but it's easy to find online. On the Internet Archive for example https://archive.org/details/RedStarOS https://archive.org/details/RedStarOS