eclipse-score/score

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

Ouverte

#1 837 ouverte le 2 oct. 2025

Voir sur GitHub
 (3 commentaires) (0 réaction) (1 personne assignée)Starlark (102 forks)auto 404
good first issuequestion

Métriques du dépôt

Stars
 (99 étoiles)
Métriques de merge PR
 (Métriques PR en attente)

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

Guide contributeur

Direction de recherche
Recherchez des binaires préconstruits de QEMU 10.1.0 pour ARM64 ou créez un script pour compiler à partir des sources. Assurez vous que le workflow s'exécute sur les runners Ubuntu 24.04 et valide les types de machines.
Stack technique
shellgithub actions
Domaine
devopsci cdinfrastructure
Type d'issue
Maintenance
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
GitGitHub Actions
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
60