For Linux, yes. For a microkernel, those are different trees of userspace software.
Not to say, Hurd itself is userspace software, that runs over a microkernel (included on the distribution).
If that were the argument, then the comparison with Linux would be meaningless. Hurd is much bigger than freertos, should everyone switch?
For Linux, yes. For a microkernel, those are different trees of userspace software.
Not to say, Hurd itself is userspace software, that runs over a microkernel (included on the distribution).