4 ms·

I'd make it a microkernel, not monolithic. This would solve the problem of the Linux kernel being bloated, thus making it easier to maintain.