Because license violations seem to be part of the Juche idea, there’s no known source code online, so proper analysis of what goes into it is difficult.
June 5, 2011
Red Star kernel. | codemonkey.org.uk