MacOSX常被误解，被看作是标致版的FreeBSD，微内核，以及其他各种不同的东西。
应当注意，微内核的设计会因为对“操作系统代码的重要核心”的不同解释而大相径庭。
回顾一下，JBoss是自2001年以来第一个构建在动态微内核架构之上的Java应用服务器。
这使我认为当前有关微内核体系结构的思想还没有完全充实。
微内核是一种只提供最基本的机制与抽象的操作系统内核。
另外，嵌入式虚拟机监控程序是一个虚拟平台和一个微核的混合物（见图2）。
帖子引起的反应，托沃兹，造成一个众所周知的争论和单片微内核设计。
context对象是microkernel的一个接口，在逻辑请求与具体代码之间架起了一座桥梁。
最后需要安装一个微内核，叫作HiveMind，用它为Tapestry应用程序登录对象。
微内核以其极小化和安全性的特点，被越来越多应用于嵌入式设备。
尽管一个微内核离完整的操作系统还很远，但这样的设计达到了我们的主要目标。
与此前的微核架构类似，NOVA实现了一个瘦微核，包含一些用于非特权代码的独立层。
跨团队的安全开发——OSGi的微核结构保证了组件和扩展是独立且可控的。
如果客户端请求了端点并未提供的表示类型，那么微核就可以起到媒介的作用。
实际上，Windsor仅仅是封装了MicroKernel并提供了一些外部的配置信息和代理支持。
Tanenbaum建议，这些谁想要一个现代操作系统应考虑一基于微内核的模式。
Codezero的调度器包含针对来宾线程和微核线程的内核优先（以及用于优先的时间片）。
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。