diff options
| -rwxr-xr-x | make-boot-image.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/make-boot-image.sh b/make-boot-image.sh index e7464cf..a95d9c9 100755 --- a/make-boot-image.sh +++ b/make-boot-image.sh @@ -1,6 +1,6 @@ #!/bin/bash -xe PS4='+ ($LINENO) ' # To ease debugging -VERSION="1.3-emac-rc1" +VERSION="1.3-emac-rc2" # Config # ########## @@ -618,6 +618,9 @@ mount_pseudofilesystems() { mount -t devtmpfs -o size=1m none /dev || return $? mkdir /dev/pts || return $? mount -t devpts none /dev/pts || return $? + # Don't fail if efivarfs unavailable (boot in legacy BIOS mode) + modprobe efivarfs || true + mount -t efivarfs efivarfs /sys/firmware/efi/efivars || true ln -s /proc/self/fd/2 /dev/stderr return 0 } |