Good talk, but I wish there was a deeper dive into what it was like living and working in the DPRK. For folks more interested in that, check out this great talk from HOPE last year: https://www.youtube.com/watch?v=v_HXPm-PN1g
For me the interesting part was the tablet he brought back from DPRK. It contained 70+ books with their leader' speeches, but they somehow customized the Android so it is not possible to extract them :D
Grandparent meant that he did not see anyone else use Redstar as a main OS. So even though he could obtain it and use it, it was not a popular operating system in North Korea as a whole.
Of course, perhaps Redstar is the de facto OS of workplaces or perhaps military operations.
Yeah, fair enough. Though I seem to recall (I was at the talk) that the speaker didn't get to see much of North Korea anyway.. but I'd have to re-watch the talk to be sure!