eclipse-score/score

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

Open

#1,837 opened on Oct 2, 2025

View on GitHub
 (3 comments) (0 reactions) (0 assignees)Starlark (102 forks)auto 404
good first issuequestion

Repository metrics

Stars
 (99 stars)
PR merge metrics
 (PR metrics pending)

Description

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

Research direction
Search for prebuilt QEMU binaries for version 10.1.0 for ARM64 or create a script to build from source. Ensure the workflow runs on Ubuntu 24.04 runners and validates the machine types.
Tech stack
shellgithub actions
Domain
devopsci cdinfrastructure
Issue type
Chore
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
2
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
Half day
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
GitGitHub Actions
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
60