> For Linux, yes. For a microkernel, those are different trees of userspace software. If that were the argument, then the comparison with Linux would be meanin

> For Linux, yes. For a microkernel, those are different trees of userspace software. If that were the argument, then the comparison with Linux would be meaningless. Hurd is much bigger than freertos, should everyone switch?