Assertion: t kernel | /r/HasProperty | designed as an open source rtos
Facets:
value: thoroughly
type: MANNER
Source sentences:
text: "T-Kernel" is thoroughly designed as an open source RTOS.