Liste des fichiers du paquet systemd-boot-efi dans trixie pour l'architecture riscv64
/usr/lib/systemd/boot/efi/addonriscv64.efi.stub /usr/lib/systemd/boot/efi/linuxriscv64.efi.stub /usr/lib/systemd/boot/efi/systemd-bootriscv64.efi /usr/share/doc/systemd-boot-efi/NEWS.Debian.gz /usr/share/doc/systemd-boot-efi/changelog.Debian.gz /usr/share/doc/systemd-boot-efi/copyright