L4（微内核）有什么应用？[关闭]

Question

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

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

Answer 1

L4据说在一年前已安装了10亿台，因此，简短的答案是肯定的。根据我的阅读，在L4上运行的Linux比在单独运行时要快得多，这使得Linux L4成为可能，而Android已移植到Linux之上的L4。我的看法是，如果正在运行如此多的安装程序，为什么我们不能通过诸如ksh或bash之类的shell提供L4？简短的答案是司机。 L4之神为我们选择L4应该是Linux以支持驱动程序，即使Linux缺少驱动程序。在此社区Wiki上有关于此的一些信息： http://alopex.li/wiki/L4FiascoTutorial 有关L4 / Linux的原理，请参见： http://www.slideshare.net/sartakov/ 03-高级组件

如果驱动程序有问题，以至于自由软件阻止商业供应商编写驱动程序，那么为什么不为驱动程序编写者创建“ qt”版本，也就是创建一个统一域工具包，该工具包可以统一计算机功能来定义驱动程序。然后，操作系统编写者将为其操作系统创建后端，以便供应商只需完成一次工作即可。

另一个有用的主题是使用Perl Parrot VM（PVM）作为假设示例的L4之上的VM的想法；如果可以将L4修改为严格在寄存器中运行。...想象性能

Answer 2

L4是一个微内核家族，它们共享或多或少的通用API和一些基本思想/概念。

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

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

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

Answer 3

根据安德鲁·塔南鲍姆（Andrew Tanenbaum） L4用于手机中（最后一个答案的第五个，或者您可以对“ L4”进行文本搜索）。不幸的是，除了 L4网站和 FIASCO 。