是否有L4（微内核）的应用？

Question

我搜索了很多关于L4微内核的信息，发现L4上的资源非常少。

1. 我可以参考哪些好的链接？
2. 是否有L4的应用（即使用它的地方）？

Answer 1

据说L4一年前通过了10亿次安装，所以简短的回答是肯定的。根据我的阅读，运行在L4之上的Linux比单独运行更快，制作Linux L4，Android已经移植到Linux上的L4。我的观点是，如果有这么多安装正在运行，为什么我们不能通过shell（如ksh或bash）向我们提供L4？简短的回答是司机; L4众神为我们选择了L4应该是Linux来支持驱动程序，尽管Linux缺少驱动程序。这个社区维基上有一点关于它：http://alopex.li/wiki/L4FiascoTutorial L4 / Linux的基本原理在这里：http://www.slideshare.net/sartakov/03-advanced-components

如果驱动程序如此成问题，以至于免费软件阻止商业供应商编写它们，那么为什么不为驱动程序编写者创建“qt”版本，也就是说，统一计算机功能以定义驱动程序的公共域工具包。然后OS编写者会为他们的操作系统创建后端，这样供应商只需要做一次工作。

另一个有用的主题是使用Perl Parrot VM（PVM）作为假设示例的VM超过L4的想法;如果可以修改L4以严格按寄存器运行....想象性能

Answer 2

L4是一个微内核系列，共享一个或多或少的常见API和一些基本想法/概念。

典型应用程序是硬实时/高可用性方案以及a 用作托管更传统操作系统的虚拟机管理程序。

关于申请： 来自ok-labs.com的L4内核例如在Motorola Evoke中使用 在同一处理器上并行运行应用程序堆栈与基带堆栈。 来自ok-labs的内核也用于托管iPad2的基带栈。

sysgo.com有一个名为PikeOS的内核，用于航空航天/国防应用。

Answer 3

根据Andrew Tanenbaum L4 is used in cell phones（最后一个答案中的第五个，或者您可以对“L4”进行文本搜索）。不幸的是，除了L4 website和FIASCO之外，我还找不到其他内容。