system: Add 'multiboot-modules' field to <boot-parameters>.
authorJan (janneke) Nieuwenhuizen <janneke@gnu.org>
Tue, 26 May 2020 15:38:30 +0000 (17:38 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Mon, 8 Jun 2020 11:51:18 +0000 (13:51 +0200)
commit912b857ede450828805e09bb718658f79c40703a
tree4a3bc4392af25e8ff269b6d3c2a5a5a8ba9e686b
parent21acd8d6c11b85d06c82b168807b35cb7d2d0adf
system: Add 'multiboot-modules' field to <boot-parameters>.

* gnu/system.scm (<boot-parameters>)[multiboot-modules]: New field.
(read-boot-parameters): Initialize it.
(operating-system-multiboot-modules, hurd-multiboot-modules): New procedure.
(operating-system-boot-parameters): Cater for multiboot the Hurd and
initialize it; avoid initrd in that case.
(operating-system-kernel-file): Cater for for Gnumach (the Hurd) besides Linux.
(boot-parameters->menu-entry): Use it to support a multiboot <menu-entry>.
gnu/system.scm