https://genode.org/documentation/general-overview/index
最近正好工作需要，在看微内核相关的知识，这篇文章是介绍genode的体系结构的概述，并简单介绍了微内核与Linux内核的区别。相比linux，微内核充当了一个中转站，文件系统，内存调度，网络，线程调度等组件都通过地址空间单独保护起来，只能通过微内核提供的通信机制实现组件之间的通信，如果有组件运行错误或者被攻破，受影响的也是这个组件本身，系统本身不会受影响。微内核也会将各个组件的权限控制在最小，gendoe为每个程序单独定制的可信运行，对系统硬件资源的管理也不同于linux内核。现在L4linux已经可以运行在gennode framework上，这也一定程度解决了应用程序的问题，也可以让微内核使用linux的驱动，可以极大减少移植驱动方面的工作量。