One of the problems with microkernels is performance - messages are being sent between parts and that takes time. Here we have sort of an ultimate microkernel - can we have enough hardware support to have performance competitive, while keeping main advantages?