such as a real-time microkernel.

• 如实时微内核。