diff --git a/libfwgrubconfig/libfwgrubconfig.c b/libfwgrubconfig/libfwgrubconfig.c
index 51ebb1e..440b7a6 100644
--- a/libfwgrubconfig/libfwgrubconfig.c
+++ b/libfwgrubconfig/libfwgrubconfig.c
@@ -601,7 +601,9 @@ void fwgrub_create_menu(FILE *fp)
 	entry.type=NULL;
 
 	ptr = find_mount_point("/boot");
+	printf("DEBUG: the root directory of the partition containing /boot is '%s'\n", ptr);
 	bootdev = mount_dev(ptr);
+	printf("DEBUG: the device containing /boot is '%s'\n", bootdev);
 	free(ptr);
 	entry.grubbootdev=grub_convert(bootdev, 0);