DPRK’s RedStar OS on 32c3

https://insinuator.net/2015/12/dprks-redstar-os-on-32c3/