Skip to content

Commit c6dca54

Browse files
committed
ci: execute the registered RISC-V emulator shim
1 parent 67ab1dd commit c6dca54

2 files changed

Lines changed: 23 additions & 1 deletion

File tree

‎.agents/docs/2026-10-08-llvm-2313-part2-execution-and-dependencies.md‎

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -711,3 +711,25 @@ PATH,不写入 /usr,不导出 GCC_ROOT,不将对照载荷混入被信任
711711
仍没有后续命令的实际输出。归档、已完成检查和实测矩阵保留,
712712
不将取消解释为功能通过或 LLVM 回归。工作流和覆盖检查的 25 个
713713
现有专项用例、本批 shell/YAML、版本关系及文档规范检查通过。
714+
715+
## 30. 2026-10-08 模拟器 shim 调用修正与真实管理器验证
716+
717+
运行 37772045618 的源码为 67ab1dd6。两类模拟器均已通过 xlings
718+
成功安装到两个 home:AArch64 用户态载荷为 2.4 MB,RISC-V
719+
载荷为 33 MB,下载各约一至两秒。准备步骤随后明确失败于
720+
`xlings run`:2026.10.8.1 的 CLI 不提供该子命令。该失败来自本批
721+
工作流调用错误,不能归为下载阻塞、LLVM 或 openkal 回归。
722+
工作流改为直接执行注册的 `qemu-system-riscv64 --version`,保留
723+
真实程序必须可执行的准入条件。
724+
725+
本地使用独立 XLINGS_HOME 和实际 xlings 2026.10.8.1 完成三份
726+
索引载荷安装:mingw-cross-gcc@16.1.0、qemu-user-aarch64@7.2.0、
727+
qemu-riscv@9.2.4-1。独立 home 中的同版本二进制及所属 home 的
728+
shim 实际执行,分别报告 QEMU 7.2.0 与 9.2.4,不依赖跨 home
729+
回退。实际安装的 MinGW 头文件经 LLVM 23.1.3 预处理 io.h,并
730+
报告独立 include 目录,738 的正向控制条件成立。验证文件均位于
731+
独立临时目录,未加入 PR;用户既有工具环境未被替换。
732+
733+
本批源码只修正一行工作流命令,并追加执行记录。此前原生 GNU、
734+
载荷和矩阵证明保留;最终头的生态测试仍必须实际通过。尚未合入
735+
或发布,完整 CI 达标后先向维护者提交 review 报告。

‎.github/workflows/openkal-cross.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -620,7 +620,7 @@ jobs:
620620
"$XLINGS_BIN" install xim:qemu-riscv@9.2.4-1 -g -y -u
621621
XLINGS_HOME="${MCPP_HOME:-$HOME/.mcpp}/registry" \
622622
"$XLINGS_BIN" install xim:qemu-riscv@9.2.4-1 -g -y -u
623-
"$XLINGS_BIN" run qemu-system-riscv64 --version
623+
qemu-system-riscv64 --version
624624
625625
- name: Install the separate host MinGW header fixture with xlings
626626
run: |

0 commit comments

Comments
 (0)