A microkernel is a logical step up from a real-time operating system .
A microkernel is a logical step up from a real-time OS .