guix-play/gnu/bootloader
..
depthcharge.scm
extlinux.scm
grub.scm
u-boot.scm