I suspect so. OTOH, converting a monolithic arch into a microkernal arch is a staggering undertaking.
I taught some college seminars using MINIX 30 years ago, and was very impressed with the OS. But despite its beauty and technical advantages, it hasn't quite set the world on fire in those 30 years since, and I doubt it will. At least for the foreseeable future, we're stuck with what we have, and have to protect it as-is.
I dont know how current you are with Minux but it’s code base now follows the NetBSD distribution. I have a project to convert from my home Linux Mint to Minux3.
But that is still a few months away.