[AndrewDucker]

Thanks for that. The PDF and http://en.wikipedia.org/wiki/L4_microkernel_family were both fascinating.

I then read a bit about an attempt to port Hurd to L4, which floundered for reasons which are beyond my understanding.