build: bootloader: Add install-efi procedure.
* gnu/build/bootloader.scm (install-efi): New procedure copied from (gnu build vm). (install-efi-loader): New exported procedure, wrapping install-efi. * gnu/build/vm.scm (initialize-hard-disk): Adapt to use install-efi-loader.
This commit is contained in:
parent
892bbea750
commit
f8fd115717
|
@ -18,8 +18,12 @@
|
||||||
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
||||||
|
|
||||||
(define-module (gnu build bootloader)
|
(define-module (gnu build bootloader)
|
||||||
|
#:use-module (guix build utils)
|
||||||
|
#:use-module (guix utils)
|
||||||
#:use-module (ice-9 binary-ports)
|
#:use-module (ice-9 binary-ports)
|
||||||
#:export (write-file-on-device))
|
#:use-module (ice-9 format)
|
||||||
|
#:export (write-file-on-device
|
||||||
|
install-efi-loader))
|
||||||
|
|
||||||
|
|
||||||
;;;
|
;;;
|
||||||
|
@ -36,3 +40,53 @@
|
||||||
(seek output offset SEEK_SET)
|
(seek output offset SEEK_SET)
|
||||||
(put-bytevector output bv))
|
(put-bytevector output bv))
|
||||||
#:binary #t)))))
|
#:binary #t)))))
|
||||||
|
|
||||||
|
|
||||||
|
;;;
|
||||||
|
;;; EFI bootloader.
|
||||||
|
;;;
|
||||||
|
|
||||||
|
(define (install-efi grub grub-config esp)
|
||||||
|
"Write a self-contained GRUB EFI loader to the mounted ESP using GRUB-CONFIG."
|
||||||
|
(let* ((system %host-type)
|
||||||
|
;; Hard code the output location to a well-known path recognized by
|
||||||
|
;; compliant firmware. See "3.5.1.1 Removable Media Boot Behaviour":
|
||||||
|
;; http://www.uefi.org/sites/default/files/resources/UEFI%20Spec%202_6.pdf
|
||||||
|
(grub-mkstandalone (string-append grub "/bin/grub-mkstandalone"))
|
||||||
|
(efi-directory (string-append esp "/EFI/BOOT"))
|
||||||
|
;; Map grub target names to boot file names.
|
||||||
|
(efi-targets (cond ((string-prefix? "x86_64" system)
|
||||||
|
'("x86_64-efi" . "BOOTX64.EFI"))
|
||||||
|
((string-prefix? "i686" system)
|
||||||
|
'("i386-efi" . "BOOTIA32.EFI"))
|
||||||
|
((string-prefix? "armhf" system)
|
||||||
|
'("arm-efi" . "BOOTARM.EFI"))
|
||||||
|
((string-prefix? "aarch64" system)
|
||||||
|
'("arm64-efi" . "BOOTAA64.EFI")))))
|
||||||
|
;; grub-mkstandalone requires a TMPDIR to prepare the firmware image.
|
||||||
|
(setenv "TMPDIR" esp)
|
||||||
|
|
||||||
|
(mkdir-p efi-directory)
|
||||||
|
(invoke grub-mkstandalone "-O" (car efi-targets)
|
||||||
|
"-o" (string-append efi-directory "/"
|
||||||
|
(cdr efi-targets))
|
||||||
|
;; Graft the configuration file onto the image.
|
||||||
|
(string-append "boot/grub/grub.cfg=" grub-config))))
|
||||||
|
|
||||||
|
(define (install-efi-loader grub-efi esp)
|
||||||
|
"Install in ESP directory the given GRUB-EFI bootloader. Configure it to
|
||||||
|
load the Grub bootloader located in the 'Guix_image' root partition."
|
||||||
|
(let ((grub-config "grub.cfg"))
|
||||||
|
(call-with-output-file grub-config
|
||||||
|
(lambda (port)
|
||||||
|
;; Create a tiny configuration file telling the embedded grub where to
|
||||||
|
;; load the real thing. XXX This is quite fragile, and can prevent
|
||||||
|
;; the image from booting when there's more than one volume with this
|
||||||
|
;; label present. Reproducible almost-UUIDs could reduce the risk
|
||||||
|
;; (not eliminate it).
|
||||||
|
(format port
|
||||||
|
"insmod part_msdos~@
|
||||||
|
search --set=root --label Guix_image~@
|
||||||
|
configfile /boot/grub/grub.cfg~%")))
|
||||||
|
(install-efi grub-efi grub-config esp)
|
||||||
|
(delete-file grub-config)))
|
||||||
|
|
|
@ -27,6 +27,7 @@
|
||||||
#:use-module (guix build store-copy)
|
#:use-module (guix build store-copy)
|
||||||
#:use-module (guix build syscalls)
|
#:use-module (guix build syscalls)
|
||||||
#:use-module (guix store database)
|
#:use-module (guix store database)
|
||||||
|
#:use-module (gnu build bootloader)
|
||||||
#:use-module (gnu build linux-boot)
|
#:use-module (gnu build linux-boot)
|
||||||
#:use-module (gnu build install)
|
#:use-module (gnu build install)
|
||||||
#:use-module (gnu system uuid)
|
#:use-module (gnu system uuid)
|
||||||
|
@ -610,30 +611,16 @@ passing it a directory name where it is mounted."
|
||||||
|
|
||||||
(when esp
|
(when esp
|
||||||
;; Mount the ESP somewhere and install GRUB UEFI image.
|
;; Mount the ESP somewhere and install GRUB UEFI image.
|
||||||
(let ((mount-point (string-append target "/boot/efi"))
|
(let ((mount-point (string-append target "/boot/efi")))
|
||||||
(grub-config (string-append target "/tmp/grub-standalone.cfg")))
|
|
||||||
(display "mounting EFI system partition...\n")
|
(display "mounting EFI system partition...\n")
|
||||||
(mkdir-p mount-point)
|
(mkdir-p mount-point)
|
||||||
(mount (partition-device esp) mount-point
|
(mount (partition-device esp) mount-point
|
||||||
(partition-file-system esp))
|
(partition-file-system esp))
|
||||||
|
|
||||||
;; Create a tiny configuration file telling the embedded grub
|
|
||||||
;; where to load the real thing.
|
|
||||||
;; XXX This is quite fragile, and can prevent the image from booting
|
|
||||||
;; when there's more than one volume with this label present.
|
|
||||||
;; Reproducible almost-UUIDs could reduce the risk (not eliminate it).
|
|
||||||
(call-with-output-file grub-config
|
|
||||||
(lambda (port)
|
|
||||||
(format port
|
|
||||||
"insmod part_msdos~@
|
|
||||||
search --set=root --label Guix_image~@
|
|
||||||
configfile /boot/grub/grub.cfg~%")))
|
|
||||||
|
|
||||||
(display "creating EFI firmware image...")
|
(display "creating EFI firmware image...")
|
||||||
(install-efi grub-efi mount-point grub-config)
|
(install-efi-loader grub-efi mount-point)
|
||||||
(display "done.\n")
|
(display "done.\n")
|
||||||
|
|
||||||
(delete-file grub-config)
|
|
||||||
(umount mount-point)))
|
(umount mount-point)))
|
||||||
|
|
||||||
;; Register BOOTCFG as a GC root.
|
;; Register BOOTCFG as a GC root.
|
||||||
|
|
Loading…
Reference in New Issue