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