Assertion: operating system's kernel | /r/HasProperty | written in managed code
Facets:
Source sentences:
text: It was designed as a high dependability OS in which the kernel, device drivers, and application software were all written in managed code.