E Shattow
2024-11-06 17:50:01 UTC
Reply
PermalinkVersion: 256.7-3
Severity: normal
Dear Maintainer,
There is need in scripts and installation procedures for reliable
reporting of the EFI System Partition location that is mounted by
systemd:
# bootctl -R
/boot/efi
# bootctl -p
/dev/mmcblk0p2
However in common situations it is not possible (or not wanted) to
install the systemd boot loader currently in systemd-boot package,
which does contain the `bootctl` utility.
Please promote or make available in packaging the `bootctl` command so
that it may be used in riscv64 architecture debian-installer (for
example) where to install devicetree dtb files. Another example of
where this may be useful is in the installation of Grub boot loader
that currently hard-codes the path as `/boot/efi` which is not
compatible with how the system actually mounts EFI System Partition,
as it may not always be in that location. Firstly though we need a
consistent reporting of where systemd has mounted EFI System Partition
and this is not present in /etc/fstab or any other configured file.
This is necessary for trixie to resolve how the EFI System Partition
path can be determined within debian-installer so that the installed
system is bootable.