Hi, Just to clear things up, I was just wondering (as a general question) whether the pistachio microkernel itself is actually multi-threaded? In the case that it's not, how is the performance of IPC able to be high performance then given that there can obviously be a multitude of messages being sent to threads? Peter N