zlacker

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.