有人玩L4吗？

sen9ob

最近看了许多L4的介绍，L4出来后，诞生了许多L4:inux,L4::BSD。

但是，这些，是否知识建立在L4内核之上的大内核而已？实际上的速度和效率还是不如大内核？

如果是这样，为何没有把人像苹果公司一样，把FreeBSD打散，然后用Mach做核心，做成一个微内核的操作系统？如果用L4做内核，FreeBSD做服务，效率应该是很不错的吧？

druggo

我只晓得L7……，哈哈

CHII

现在的微内核可都不小，貌似与 linux、bsd 之类的内核性能也不是差一点

sen9ob

L4可以做到12k，可见并不大啊，微内核不是就小啦，只是内核部分相对大内核来说小很多。