bootloader: Add bootloader name to boot-parameters record.
authorMathieu Othacehe <m.othacehe@gmail.com>
Sun, 2 Apr 2017 13:10:52 +0000 (15:10 +0200)
committerMathieu Othacehe <m.othacehe@gmail.com>
Tue, 16 May 2017 12:41:01 +0000 (14:41 +0200)
commitbcaf67c44f4556b4a632310013a06318811aa0f0
tree0f42278e7eb963bb489fc9bcd64c525afcd12aa0
parent9121ce553d267e9fdd4c6b9a268ce9d8677dd234
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.
gnu/system.scm