Package: systemd
Version: 231-10

Hi!

While the i386 and amd64 variants of the systemd package do ship the
systemd-boot binary [0,1], it seems the arm64 variant does not [2] (at
least there is nothing under /usr/lib/systemd/boot/). As Fedora manages
to ship the related files just fine [3], I guess this is just a simple
oversight in the Debian packaging. Given that u-boot can apparently
nowadays provide an UEFI emulation [4], this might make things like
"bootctl install" on your Raspberry Pi 3 possible!

Best regards

Alexander Kurtz

[0] https://packages.debian.org/sid/i386/systemd/filelist
[1] https://packages.debian.org/sid/amd64/systemd/filelist
[2] https://packages.debian.org/sid/arm64/systemd/filelist
[3] http://koji.fedoraproject.org/koji/rpminfo?rpmID=8320101
[4] https://media.ccc.de/v/946-uefi-grub2-on-raspberry-pi

Attachment: signature.asc
Description: This is a digitally signed message part

Reply via email to