微内核
越大的体系潜伏的bug就越多，所以微内核在减少bug方面很有优势，seL4是世界上最小的内核之一最小的
阅读背景：
开源微内核seL4 microkernel
来源：互联网
分享到：
