On Mon, Mar 26, 2018 at 05:20:41PM +0100, Ben Hutchings wrote: >On Sun, 2018-03-25 at 22:20 +0200, Heinrich Schuchardt wrote: >> debian-installer/packages/partman-efi/check.d/efi starts with these lines: >> >> if [ ! -d /proc/efi ] && [ ! -d /sys/firmware/efi ]; then >> exit 0 >> fi >> >> if [ -f /var/lib/partman/ignore_uefi ]; then >> exit 0 >> fi >> >> >> So it seems installation for EFI is only supported if the installer is >> booted via EFI. > >This is because EFI booting normally requires setting variables through >EFI runtime services. > >> The armhf netinstall iso does not make use of the UEFI implementation of >> u-boot in contrast to what Suse and Fedora do. So we get stuck in a >> legacy mode of booting. This is unsatisfactory if we want to setup a >> multi-boot installation. > >That should be fixed, presumably through changes to debian-cd.
Vagrant just turned on UEFI for armhf in recent d-i builds. I'll add that in debian-cd shortly... -- Steve McIntyre, Cambridge, UK. st...@einval.com "I can't ever sleep on planes ... call it irrational if you like, but I'm afraid I'll miss my stop" -- Vivek Das Mohapatra