Assertion: linux kernel | /r/Synonym | vmlinux
Facets:
value: for a while
type: TEMPORAL
Source sentences:
text: For a while the Linux kernel was called vmlinux, but the kernel grew too large to fit in the available boot memory so the kernel image was compressed and the ending x was changed to a z to show it was compressed with zlib compression.