system: 'read-boot-parameters' allow initrd to be missing.

* gnu/system.scm (read-boot-parameters): Allow initrd to be missing.
This commit is contained in:
Jan (janneke) Nieuwenhuizen 2020-06-29 15:24:45 +02:00
parent aa864ebdb0
commit 12906d3e2a
No known key found for this signature in database
GPG key ID: F3C1A0D9C1D65273

View file

@ -351,7 +351,8 @@ (define device-sexp->device
(('initrd ('string-append directory file)) ;the old format
(string-append directory file))
(('initrd (? string? file))
file)))
file)
(#f #f)))
(multiboot-modules
(match (assq 'multiboot-modules rest)