Very strange Linux OS for PC

This operating system is very similar to OS X but was created on the Linux kernel in the DPRK and is called Red star OS