1·In contrast, microkernel operating systems provide the means to discard functionality dynamically, allowing a much more scalable environment.
相比之下，微核操作系统提供动态抛出功能的方法，从而提供伸缩性更好的环境。
2·The use of a resource-oriented microkernel has several key benefits.
使用面向资源微核有几个主要的优点。
3·The Lab's work in each of these domains coined the term microvisor, which represents a microkernel with virtualization capabilities.
这个实验室在这些领域中的工作创造了一个术语：microvisor，表示一个具有虚拟化功能的微核。
4·Codezero's scheduler includes kernel preemption for both guest threads and microkernel threads (in addition to time slices for preemption).
Codezero的调度器包含针对来宾线程和微核线程的内核优先(以及用于优先的时间片)。
5·It follows the fundamental principles of microkernels in that it implements address Spaces, thread management, and IPC only in the privileged microkernel along with virtualization capabilities.
它遵循微核的基本原理，因为它只在特权微核中实现地址空间、线程管理和IPC，以及一些虚拟化功能。
1·However, before executing any call, the microkernel first checks to make sure the call is permitted.
微内核在执行任何调用之前，首先会检查该调用是否被许可。
2·The recent trend in operating system development is adopting microkernel architecture which holds such advantages as microminiaturization, modularity, portability and extendibility.
当今操作系统的发展趋势是采用微内核体系结构。
3·Based on the above study, this paper studies the microkernel's scheduling strategy and analyzes its deficiencies.
在以上研究的基础上，本文研究了微内核的调度策略，并分析了其中的不足之处。
4·Second generation microkernel; L4; Distributed Operating System; e1.
第二代微内核l4；分布式操作系统；e1。