Microkernel – the high grade alternative to normal operating systems