I have been looking into stuff on the mach and l4 microkernel, and I think they are pretty cool. But anyway, when I was on the page for them on wikipedia, exokernels were mentioned. I looked exokernel and the definition I recieved appeared to be the same. Can somebody please explain the difference?