diff options
author | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2020-05-26 17:38:30 +0200 |
---|---|---|
committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2020-06-08 13:51:18 +0200 |
commit | 912b857ede450828805e09bb718658f79c40703a (patch) | |
tree | 4a3bc4392af25e8ff269b6d3c2a5a5a8ba9e686b /gnu/packages/lean.scm | |
parent | 21acd8d6c11b85d06c82b168807b35cb7d2d0adf (diff) |
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>.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions