guix/gnu/bootloader
Herman Rimm 38cb6dee66
gnu: bootloader: grub: Define grub-menu-entry configuration.
* gnu/bootloader/grub.scm (serialize-grub-theme, serialize-string,
normalize-file, serialize-file-like, string-list?, file-like-list?,
serialize-string-list, serialize-file-like-list, grub-device?,
serialize-grub-device, serialize-linux-directive,
serialize-multiboot-directive, directive-or-file-like?,
serialize-directive-or-file-like, menu-entry->grub-menu-entry,
serialize-grub-menu-entry): Add procedures.
(make-grub.cfg): Use really-mixed-text-file to reduce indentation.
(%boot): Add variable.  Define maybe-string.
(linux-directive, multiboot-directive, grub-menu-entry): Add records.

Change-Id: Ie1e56e04d5c8ae7ab07741ef7b6909f306398f28
2024-10-08 10:36:40 -04:00
..
depthcharge.scm gnu: bootloader: depthcharge: Rewrite completely. 2024-10-08 10:36:39 -04:00
extlinux.scm gnu: bootloader: extlinux: Rewrite completely. 2024-10-08 10:36:39 -04:00
grub.scm gnu: bootloader: grub: Define grub-menu-entry configuration. 2024-10-08 10:36:40 -04:00
u-boot.scm gnu: bootloader: Add Raspberry Pi bootloader. 2024-10-08 10:36:39 -04:00