Ludovic Courtès a28cfee841 system: Add 'bootloader-menu-entries' field to <boot-parameters>. ...

This allows us to keep track of the extra menu entries specified in the
OS configuration.

* gnu/system.scm (<boot-parameters>)[bootloader-menu-entries]: New field.
(read-boot-parameters): Initialize it.
(operating-system-boot-parameters): Likewise.
(operating-system-boot-parameters-file): Serialize it.
* gnu/bootloader.scm (menu-entry->sexp, sexp->menu-entry): New
procedures.

2019-08-30 01:33:45 +02:00

6.9 KiB

Raw Blame History

View Raw