1.OS X is often misunderstood, regarded as a pretty version of FreeBSD, a microkernel, and various other things.
MacOSX常被误解，被看作是标致版的FreeBSD，微内核，以及其他各种不同的东西。
2.It is to be noted that microkernel designs vary greatly due to different interpretations of the term 'essential core of OS code'.
应当注意，微内核的设计会因为对“操作系统代码的重要核心”的不同解释而大相径庭。
3.Looking back, JBoss was the first Java application server build on top of a dynamic microkernel architecture since 2001.
回顾一下，JBoss是自2001年以来第一个构建在动态微内核架构之上的Java应用服务器。
4.Lead me to believe that the current ideas on the microkernel architecture are not fully fleshed out.
这使我认为当前有关微内核体系结构的思想还没有完全充实。
5.A microkernel is an operating system kernel which furnishes only the most fundamental mechanisms and abstractions.
微内核是一种只提供最基本的机制与抽象的操作系统内核。
6.In addition, embedded hypervisors are a hybrid of a virtualization platform with a microkernel (see Figure 2).
另外，嵌入式虚拟机监控程序是一个虚拟平台和一个微核的混合物（见图2）。
7.Theposting elicited the response of Torvalds, which resulted in a wellknown debate over the microkernel and monolithic kernel designs.
帖子引起的反应，托沃兹，造成一个众所周知的争论和单片微内核设计。
8.The context object is an interface to the microkernel which allows an endpoint to bridge between logical requests and physical code.
context对象是microkernel的一个接口，在逻辑请求与具体代码之间架起了一座桥梁。
9.Finally, you need to install a microkernel, namely HiveMind, to register the objects for your Tapestry applications.
最后需要安装一个微内核，叫作HiveMind，用它为Tapestry应用程序登录对象。
10.Microkernel-based operating systems are increasingly being used in embedded devices for their minimization and reliability features.
微内核以其极小化和安全性的特点，被越来越多应用于嵌入式设备。