seL4之hello-3征途 回顾上周 了解seL4的启动流程和初始化线程 了解seL4的几种内核对象和权能机制 完成hell0-2的运行. 补充上周 1.找到根任务(初始化线程)的创建具体的位置(那一个函数) 这个函数在kernel/src/kernel/boot.c中 具体查找的截图如下: 2.找出内核中bootinfo的定义,和为根任务创建 bootinfo的代码 查找方法:使用cscope 查找关键字seL4_BootInfo 查找结果如下所示 3.阅读手册,找出seL4中有哪些类型的对…