bootloader: Remove unused 'additional-configuration' field.

* gnu/bootloader.scm (<bootloader-configuration>)[additional-configuration]:
Remove.
This commit is contained in:
Ludovic Courtès 2019-03-17 22:12:40 +01:00
parent 16360cc884
commit 8a0e1bb12b
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -122,8 +122,6 @@ (define-record-type* <bootloader-configuration>
(serial-unit bootloader-configuration-serial-unit ; integer | #f (serial-unit bootloader-configuration-serial-unit ; integer | #f
(default #f)) (default #f))
(serial-speed bootloader-configuration-serial-speed ; integer | #f (serial-speed bootloader-configuration-serial-speed ; integer | #f
(default #f))
(additional-configuration bootloader-configuration-additional-configuration ; record
(default #f))) (default #f)))