diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-08-28 23:27:20 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-08-30 01:33:45 +0200 |
| commit | a28cfee841e9c5ab179291d3065f1486fd065e7e (patch) | |
| tree | 539e7d4c15350a8a52eedfc12e10822c825f4cea /scripts | |
| parent | 546a709f202024c8a5173ad372a87ddc1c284c63 (diff) | |
| download | guix-a28cfee841e9c5ab179291d3065f1486fd065e7e.tar.gz guix-a28cfee841e9c5ab179291d3065f1486fd065e7e.zip | |
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.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions