eclipse-score/score

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

Aperta

#1837 aperta il 2 ott 2025

Vedi su GitHub
 (3 commenti) (0 reazioni) (1 assegnatario)Starlark (102 fork)auto 404
good first issuequestion

Metriche repository

Star
 (99 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

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

Guida contributor

Direzione di ricerca
Cerca binari precompilati di QEMU 10.1.0 per ARM64 o crea uno script per compilare dal sorgente. Assicurati che il workflow venga eseguito su runner Ubuntu 24.04 e convalidi i tipi di macchina.
Tech stack
shellgithub actions
Dominio
devopsci cdinfrastructure
Tipo issue
Manutenzione
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
GitGitHub Actions
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60