Mathieu Othacehe bcaf67c44f bootloader: Add bootloader name to boot-parameters record. ...

* gnu/system.scm (<boot-parameters>)[name]: New field.
(boot-parameters-boot-name): Ditto.
(operating-system-boot-parameters-file): Add new field.
(operating-system-boot-parameters): Ditto.
(read-boot-parameters): Ditto.

2017-05-16 14:41:01 +02:00

37 KiB

Raw Blame History

View Raw