译至：http://www.ok-labs.com/products/okl4-microvisor
为什么需要手机的虚拟化？
虚拟化技术在数据中心和桌面应用程序一直是一个重要的主流技术。 虚拟机管理器 - hypervisor - 使得企业级服务器，刀片服务器和工作站能够执行一系统巧妙和重要的操作。
虚拟化使得数据中心能整合硬件和规模生产能力以满足不同的负载，使服务器和工作站能托管多个操作系统和相应的软件堆栈。 虚拟化也是驱使云计算的技术。
乍一看，在手机软件上运用同样的技术的想法似乎是矫枉过正; 传统的手机受成本敏感的BOM成本的制约只能在硬件上运行最小的软件堆栈。
然而，智能手机市场的快速增长，正不断改变制造商和客户对这些日益强大和无处不在的设备的要求。 当前和下一代智能手机越来越像台式电脑，这体现在计算能力，内存，存储，显示和连接性等方面。 它们提供缩小的应用程序并用于企业IT和个人计算模式。 因此，毫不奇怪虚拟化能在充满活力的移动生态系统中找到足够的机会和多个应用场景。
OKL4 Microvisor - 杀手级应用的助推器
OKL4 Microvisor使设备OEM和半导体供应商能更快速，以成本集成那些必须具备的功能集成到新的移动设计中。通过硬件整合降低了BOM成本，OKL4 Microvisor让设备OEM制造以功能手机的价格制造智能手机。
OKL4 Microvisor是从无到有被设计为一个移动虚拟化平台的。 它是一个基于微内核的嵌入式虚拟机管理程序-称为microvisor，具有占用很少的执行空间以及针对移动电话的性能和CPU支持的正确组合。OKL4
Microvisor通过支持移动虚拟化，组件化和安全性，使新一代的应用和功能与整个移动生态系统的影响区别开来。
OKL4能够从目前的操作系统为中心的体系结构演变成使用OKL4独特的安全HyperCell™技术的一个更强大和可扩展的组件体系结构。
OKL4给设备OEM厂商提供了一系列的特性和功能，与相关的好处：
虚拟化：采用独特的安全HyperCell技术，OKL4可以托管组成完整的操作系统和软件堆栈的虚拟机，下至以独立分离的单元形式运行的独立设备驱动程序或其他裸机代码。单元内的代码在非特权模式下执行，通过硬件的内存保护隔离不同的单元。在资源分配，通信和安全性上的细粒度控制使开发更简单，软件更可靠，系统更安全。
基于微内核的架构：通过构建于微内核的架构，OKL4 Microvisor给设备的OEM厂商提供不仅高性能的手机虚拟化，而且也提供了相应的机会来细分应用到更小，更安全，更易于管理的软件组件。 这使用软件更容易开发，更可靠，更安全。
资源管理：OKL4独立管理单元的资源，给单个单元或单元间共享分配系统资源。紧密匹配资源到每个单元的具体要求的能力使得软件最大限度利用底层硬件。
轻量级组件：OKL4组件和设备驱动程序不依赖于特定的手机操作系统。 这个独立的方式提供独立开发和关键系统软件的复用，减少了开发工作量和所需要的时间。
可定制的API：OKL4轻量级的执行环境功能如定制的API，使针对软件的遗留操作系统或行业标准API，如POSIX不需要被移植就能被重用。
实时性和低性能开销：OKL4对上下文切换，IPC和其他严重影响实时性能响应和吞吐量的特性进行性能优化，使单个处理器能同时满足实时服务和丰富的应用程序，而这又能使用较低成本的SoC。
很小的内存占用量：OKL4的适度的内存需求使OKL4更容易包括在手机和其他嵌入式系统的资源约束中。
TCB：OKL4架构为子系统或高安全性的服务提供了一个小的TCB。
较小的TCB意味着更高的安全级别。
可扩展性和可维护性：OKL4是用C语言编写，并构建于模块化的通用代码库。
硬件支持
OKL4可用于以下处理器架构：
ARM / MIPS / 英特尔