是否有L4(微内核)的应用？

Question

我用Google搜索了很多关于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可以修改为严格按寄存器运行....想象性能