diff options
Diffstat (limited to 'source/installer/sources/initrd/sbin/mkbindmounts')
-rwxr-xr-x | source/installer/sources/initrd/sbin/mkbindmounts | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/source/installer/sources/initrd/sbin/mkbindmounts b/source/installer/sources/initrd/sbin/mkbindmounts index e5c95c0f1..897889847 100755 --- a/source/installer/sources/initrd/sbin/mkbindmounts +++ b/source/installer/sources/initrd/sbin/mkbindmounts @@ -8,3 +8,7 @@ mkdir -p /mnt/{dev,proc,sys} mount -o rbind /dev /mnt/dev mount -o rbind /proc /mnt/proc mount -o rbind /sys /mnt/sys +# Needed for EFI boot menu operations: +if [ -d /sys/firmware/efi/efivars ]; then + mount -o rbind /sys/firmware/efi/efivars /mnt/sys/firmware/efi/efivars +fi |