Los servicios suministrados por el núcleo incluyen "threads", segmentos de memoria, mecanismos de IPC (RPCs y mensajes) y E/S [160].