--- I'm not sure why I didn't notice this before. This is needed to generate the correct UUID. Otherwise systemd fails to mount the EFI partition. Michael common/efi-devicepath.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/common/efi-devicepath.c b/common/efi-devicepath.c index a1cd0952f929..54c2f4e3c54e 100644 --- a/common/efi-devicepath.c +++ b/common/efi-devicepath.c @@ -1406,7 +1406,7 @@ char *device_path_to_partuuid(struct efi_device_path *dev_path) if (hd->signature_type != SIGNATURE_TYPE_GUID) continue; - str = xasprintf("%pU)", (efi_guid_t *)&(hd->signature[0])); + str = xasprintf("%pUl", (efi_guid_t *)&(hd->signature[0])); break; } -- 2.1.4 _______________________________________________ barebox mailing list barebox@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/barebox