I'm impressed with microkernels on a regular computer. It's a new experience but it's really flexible. I think it's an L4 Microkernel but I could be wrong.