Ah, these were dead so I didn’t see this confusion before my comment above.

I read it as:

“I don’t know about other microkernels [that support ZFS], but NetBSD is a small kernel [that supports ZFS]”