Some questions if you will > but microkernels don't work well (at least not better than monolithic kernels) In terms of performance, isn't "at least not bette

Some questions if you will > but microkernels don't work well (at least not better than monolithic kernels) In terms of performance, isn't "at least not better" (meaning, as good as) sufficient for performance? Because the point of microkernels afaik aren't about better performance, but security (edit - and robustness). > on x86 due to context switching overhead how high is the extra overhead on hurd over a more conventional OS? TIA