Well I suppose they do not have to load all the kernels and drivers that Linux provides today. I wonder how one could use micro kernels to further improve star

Well I suppose they do not have to load all the kernels and drivers that Linux provides today. I wonder how one could use micro kernels to further improve startup time and have a mini distributed OS/kernel for each component.