These machines are probably on their national intranet at most with no connection to the Internet. Still it's weird. Whenever I watch KCTV and they show computer labs all of the PCs run some version of Win 7. Same with images they show on Voice of Korea. I have yet to see RedStarOS or GNU/Linux in general on DPRK media.