Loading...
seL4 VSpace 分析地址空间结构详见 seL4 启动流程一文。地址转换seL4 内核中的基本地址有 3 类:paddr、pptr、kpptr地址类...
seL4 启动流程引导和基本地址空间内核启动前,QEMU 会将 OpenSBI 加载到 0x80000000,之后跳转到 OpenSBI。OpenSBI ...
前言“某数字壳又双叒叕更新了”众所周知,插件党想要开心,那安全厂就不开心,于是插件党就得想办法开心——然而国内这内卷的现状,许多旧的过签方式一出来就被修掉...