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

system: Introduce a disjoint UUID type.

2017-09-11 22:24:46 +02:00

u-boot.scm

bootloader: Add u-boot.

2017-07-15 12:53:37 +02:00