Browse Source

system: 'read-boot-parameters' bugfix for multiboot.

* gnu/system.scm (read-boot-parameters): Oops, only return value for
multiboot-modules instead of (key value).
Jan (janneke) Nieuwenhuizen 1 year ago
parent
commit
aa864ebdb0
No known key found for this signature in database GPG Key ID: F3C1A0D9C1D65273
  1. 5
      gnu/system.scm

5
gnu/system.scm

@ -353,7 +353,10 @@ file system labels."
(('initrd (? string? file))
file)))
(multiboot-modules (or (assq 'multiboot-modules rest) '()))
(multiboot-modules
(match (assq 'multiboot-modules rest)
((_ args) args)
(#f '())))
(store-device
;; Linux device names like "/dev/sda1" are not suitable GRUB device

Loading…
Cancel
Save