240 发简信
IP属地:四川
  • 微内核 seL4 Capabilities

    capability的概念 capability是用于访问系统中的entity/object的独一无二的token。在seL4初始化阶段,那些可以控制seL4所有资源的cap...

  • seL4内核启动分析

    一、大概过程 seL4内核是遵循multiboot specification的,可以直接通过GRUB引导。在GRUB引导完成后,会把CPU控制权跳转到kernel入口;再由...