eclipse-score/score

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

Offen

#1.837 geöffnet am 02.10.2025

 (3 Kommentare) (0 Reaktionen) (1 zugewiesene Person)Starlark (102 Forks)auto 404
good first issuequestion

Repository-Metriken

Stars
 (99 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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

Contributor Guide