To animate the system, the kernel allocates the clock interrupt for himself. As the real clock interrupt is hidden now, a timer server is included in the kernel to export a pseudo clock interrupts. There is a single timer server per node.