分类 操作系统 下的文章

  1. 首页
  2. 操作系统

seL4 RISC-V VSpace 分析

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

  • Nullptr
  • 2023 年 08 月 26 日
  • 暂无评论
    •

    seL4 RISC-V 启动流程

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

  • Nullptr
  • 2023 年 08 月 09 日
  • 1 条评论
    •

    seccomp 那些事

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

  • Nullptr
  • 2022 年 04 月 21 日
  • 1 条评论