Hackernews posts about Red Star OS

1. Red Star OS (North Korean OS) (en.wikipedia.org)
   1 points by BarakWidawsky 3 months ago | discuss
2. Ask HN: Good Starting OS for Children?
   7 points by kqr 3 months ago | 12 comments