home > domains > nullptr.icu
Description: Nullptr's Blog
blog (28744) php (15888) typecho (1755)
Loading...
下午好,是时候打个盹了
seL4 VSpace 分析地址空间结构详见 seL4 启动流程一文。地址转换seL4 内核中的基本地址有 3 类:paddr、pptr、kpptr地址类...