> Interesting to see the port system mentioned - it's not a well known fact of Mach kernels.
I'm surprised to hear someone say that, given that it's the fact about Mach to me. I'm not sure how people could know about Mach but not its defining system.