The Darwin kernel, xnu, is not a microkernel. Furthermore whether it is or isn't a microkernel has absolutely nothing to do with what filesystems it supports or how easy it would be to support a new filesystem.
I don't know the setup of the person who started this thread, but I would suggest...