Is Red Star OS released under the GPL?

According to Wikipedia, Red Star OS is

is a North Korean Linux-based operating system

Does that mean it's covered by the GPL, or are there exceptions?