Assertion: kernel's device driver | /r/CapableOf | develop wombat
Facets:
Source sentences:
text: The group has also demonstrated that user-level device drivers can perform as well as in-kernel drivers, and developed Wombat, a highly portable version of Linux on L4 that runs on x86, ARM and MIPS processors.