seL4之hello-2旅途 2016/11/19 13:15:38 If you like my blog, please buy me a cup of coffee. 回顾上周 seL4运行环境搭建. 完成hell0-1的运行. 补充上周 1.微内核与宏内核有什么不同? 微内核--用户态提供OS服务,一般采用server-client架构.代表:L4系列微内核 宏内核--内核态提供OS服务,通过syscall结构向用户态提供服务. 出于对seL4的学习,我们比较关注微内核的评价: 优势:安…