There was a interesting talk on 31c3 by Will Scott, who spend a year teaching computer science in North Korea titled.
He showed Red Star and their Android version (towards the middle of the talk): https://www.youtube.com/watch?v=w703MQZcDhY
He showed Red Star and their Android version (towards the middle of the talk): https://www.youtube.com/watch?v=w703MQZcDhY