分类 操作系统 下的文章

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

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

前言“某数字壳又双叒叕更新了”众所周知，插件党想要开心，那安全厂就不开心，于是插件党就得想办法开心——然而国内这内卷的现状，许多旧的过签方式一出来就被修掉...