I saw multiple machines running RedStar OS, even took photos of me interacting with one of them, on my 2-week trip a couple of years ago.<p>I commented on another North Korea post here on Hacker News a while ago, where I also posted the URL to the photos, if anyone are curious. It even had IP addresses set and some sort of network (not Internet) access.