My 2 cents idea:
As most of you know, a micro-kernel OS has just a
few functions running in kernel mode (e.g: clock,system interruptions, message
passing, ...) and all other OS components run in application mode (e.g: file
system, process schedulder, networking...). This means this means you
can deploy this kind of OS whithout the unnecessary components as well as
you can replace those components with the implementation of your choice (any
ideas ? Lua ?).
I know that more simple to say as to code.
-Humberto Aranha