标签 seL4 下的文章

seL4 VSpace 分析地址空间结构详见 seL4 启动流程一文。地址转换seL4 内核中的基本地址有 3 类：paddr、pptr、kpptr地址类...

seL4 启动流程引导和基本地址空间内核启动前，QEMU 会将 OpenSBI 加载到 0x80000000，之后跳转到 OpenSBI。OpenSBI ...