A basic IPC mechanism has been added to be able to forward interrupts
from the kernel to an userspace server.