guix-play/gnu/bootloader
Mathieu Othacehe be07cc4549
bootloader: extlinux: Fix device tree path.
* gnu/bootloader/extlinux.scm (extlinux-configuration-file): Use kernel
  directory to format device tree file path.
2017-11-23 20:07:04 +01:00
..
extlinux.scm bootloader: extlinux: Fix device tree path. 2017-11-23 20:07:04 +01:00
grub.scm
u-boot.scm