the history/evolution of north korean "Red star" operating system (2008-present)