Carefully designing the microkernel interface we have gained a pure local microkernel with no notion about well-known operating systems and without any direct support for distributed operating system.
