The ancient LynxOS® monolithic kernel has become a real micro_kernel on which KPIs (Kernel Plug-Ins) can be added. By default the micro-kernel offers the start-up and shutdown services, the low-level memory management,the interrupts management, synchronisation.