Assertion: kernel | /r/CapableOf | work with user code
Facets:
Source sentences:
text: The implication is that the kernel must work with user code written in C90.