. . "On top of the microkernel, HelenOS provides services such as file systems, networking, device drivers and user interface." . . .