核心机制

在真板上把"能陷入"变成"真正的 hypervisor":多 VM 上下文切换、时间片调度、stage-2 MPU 隔离、GIC 中断虚拟化。工作平台从 QEMU 切换到 Stellar 板 + TRACE32。

• 搭板上工作流:rustvisor-bsp-sr6p6 crate、烧写流程、TRACE32 的 EL2 感知调试(看 stage-2 MPU、跨 VM 调试)
• VmControlBlock:通用寄存器 + banked 寄存器 + ELR/SPSR + 定时器状态 + VMID + MPU 区域表
• 上下文切换汇编:保存当前 VM 现场到 VCB → 恢复下一个 VM → 切 VSCTLR.VMID → ERET
• 时间片调度:EL2 物理定时器 tick → 轮转选下一个 VM;先做固定时间片即可
• stage-2 MPU:每 VM 一套区域配置,切换时重编程;guest 越界触发 stage-2 fault 进 EL2,记录并处置(先停掉该 VM)
• GIC 虚拟化:物理中断到 EL2,经 list register 注入目标 VM 的虚拟中断

• sched.c / scheduler.S —— 调度器与切换汇编
• vmm.c —— VM 生命周期
• user_mpu_config.c —— MPU 区域配置
• intc_hyp.c —— 中断虚拟化

banked 寄存器(各模式的 SP/LR/SPSR)必须全部保存,漏一个就是隐蔽的偶发崩溃。stage-2 MPU 区域数量有限,内存布局要提前规划。TRACE32 脚本值得早投入——后面每天都在用。

隔离可证:两个 VM 轮转运行,A 越界访问 B 内存被 EL2 拦截。

暂无记录。