MVP Hypervisor

写出最小可用的 hypervisor:EL2 启动 → 降到 EL1 跑 guest → guest 发 HVC 陷回 EL2 → 分发处理 → 返回。这是整篇论文的机制地基,也是 QEMU 阶段的终点。

• 确认复位进入 EL2:启动时读 CPSR.M,验证处于 hyp 模式(0x1A)
• 写 EL2 向量表:HVBAR 指向它;先只实现 HVC 入口,其余异常进 panic 兜底
• 准备极简 guest:独立小程序,链接到分给它的物理区,做"经 HVC 请求打印"之类的最小动作
• 降级到 EL1:配置 SPSR_hyp(目标模式 SVC)与 ELR_hyp(guest 入口),ERET
• HVC 陷入路径:保存 guest 现场 → 确认 HSR.EC 为 HVC → 从 r0/r1 取 module/service id → 查分发表调服务 → 写返回值到 guest r0 → ERET
• Rust 分发表:module-id / service-id 用 enum,match 分发,未知 id 返回错误码

• hyper_trampoline.S —— EL2 入口/出口与现场保存汇编
• hyp_handler.c —— HSR 解析与分发
• hyp_services.c —— 服务实现样例

ERET 前 SPSR_hyp / ELR_hyp 必须成对配好,错一个就跳飞。HVC 的立即数只是标记,真正的参数按 SDK 约定走 r0/r1。guest 和 hyp 的栈要分开。QEMU 的 EL2 行为与真板有差异,GIC 虚拟化别在 QEMU 上死磕,留到阶段 4。

往返闭环:guest 的 HVC 请求被 EL2 处理并正确返回,可打印验证。

暂无记录。