Assertion: operating system's kernel | /r/HasAspect | more than 13 million lines
Facets:
Source sentences:
text: While kernels might have had 100,000 lines of code in the seventies and eighties, kernels like Linux, of modern Unix successors like GNU, have more than 13 million lines.