eclipse-score/score

Add workflow to install QEMU 10.1.0 with Raspberry Pi 4 support on GitHub runners

开放

#1,837 创建于 2025年10月2日

 (3 条评论) (0 个反应) (1 位负责人)Starlark (102 个派生)auto 404
good first issuequestion

仓库指标

星标
 (99 个星标)
PR 合并指标
 (PR 指标待抓取)

描述

Description

Currently, the default GitHub runners use the Ubuntu 24.04 package repositories.
When installing QEMU via apt-get install qemu-system-arm, we only get QEMU 8.0, which does not include support for the -M raspi4b machine type.

We need to:

  1. Ensure a newer version of QEMU is installed on GitHub runners, preferably QEMU 10.1.0.
  2. Create a GitHub Actions workflow that installs this version of QEMU (either from source, PPA, or prebuilt binaries).
  3. Validate the installation by running:
qemu-system-aarch64 -machine help

贡献者指南