zlacker

Isn't this what a microkernel is supposed to accomplish?

>>seanw4+(OP)
Microkernel vs monolith has very little relation to resource (time and space) allocation, other than the fact that a microkernel is going to have an easier time with preventing runaway space usage of kernel services.