Are there any xnu hackers or programmers working on gnu herd trying to port over design ideas and issue solutions? I know xnu is not a true microkernel. I would also like to know if despite the design differences, is the hurd kernel worth being a true microkernel performance wise?