diff options
Diffstat (limited to 'libre/grub/1000-udoo--10_linux-20_linux_xen-detect-devicetree-file.patch')
| -rw-r--r-- | libre/grub/1000-udoo--10_linux-20_linux_xen-detect-devicetree-file.patch | 56 |
1 files changed, 56 insertions, 0 deletions
diff --git a/libre/grub/1000-udoo--10_linux-20_linux_xen-detect-devicetree-file.patch b/libre/grub/1000-udoo--10_linux-20_linux_xen-detect-devicetree-file.patch new file mode 100644 index 000000000..692ac51f2 --- /dev/null +++ b/libre/grub/1000-udoo--10_linux-20_linux_xen-detect-devicetree-file.patch @@ -0,0 +1,56 @@ +--- a/util/grub.d/10_linux.in 2021-06-17 03:06:45.912081000 -0500 ++++ b/util/grub.d/10_linux.in 2021-06-18 02:58:17.879587880 -0500 +@@ -155,6 +155,14 @@ + initrd $(echo $initrd_path) + EOF + fi ++ if test -d "${rel_dirname}/dtbs/${version}/imx6q-udoo.dtb" ; then ++ # TRANSLATORS: Device tree path isn't identifier. Should be translated. ++ message="$(gettext_printf "Loading devices tree path ...")" ++ sed "s/^/$submenu_indentation/" << EOF ++ echo '$(echo "$message" | grub_quote)' ++ devicetree ${rel_dirname}/dtbs/${version}/imx6q-udoo.dtb ++EOF ++ fi + sed "s/^/$submenu_indentation/" << EOF + } + EOF +@@ -261,6 +269,10 @@ + fi + fi + ++ if test -d "${dirname}/dtbs/${version}/imx6q-udoo.dtb" ; then ++ gettext_printf "Found device tree directory: %s\n" "${dirname}/dtbs/${version}/imx6q-udoo.dtb" >&2 ++ fi ++ + # The GRUB_DISABLE_SUBMENU option used to be different than others since it was + # mentioned in the documentation that has to be set to 'y' instead of 'true' to + # enable it. This caused a lot of confusion to users that set the option to 'y', +--- a/util/grub.d/20_linux_xen.in 2021-06-17 03:06:56.202081000 -0500 ++++ b/util/grub.d/20_linux_xen.in 2021-06-18 02:59:12.559587771 -0500 +@@ -172,6 +172,14 @@ + ${module_loader} ${rel_dirname}/${xenpolicy} + EOF + fi ++ if test -d "${rel_dirname}/dtbs/${version}/imx6q-udoo.dtb" ; then ++ # TRANSLATORS: Device tree path isn't identifier. Should be translated. ++ message="$(gettext_printf "Loading devices tree path ...")" ++ sed "s/^/$submenu_indentation/" << EOF ++ echo '$(echo "$message" | grub_quote)' ++ devicetree ${rel_dirname}/dtbs/${version}/imx6q-udoo.dtb ++EOF ++ fi + sed "s/^/$submenu_indentation/" << EOF + } + EOF +@@ -316,6 +324,10 @@ + fi + fi + ++ if test -d "${dirname}/dtbs/${version}/imx6q-udoo.dtb" ; then ++ gettext_printf "Found device tree directory: %s\n" "${dirname}/dtbs/${version}/imx6q-udoo.dtb" >&2 ++ fi ++ + # The GRUB_DISABLE_SUBMENU option used to be different than others since it was + # mentioned in the documentation that has to be set to 'y' instead of 'true' to + # enable it. This caused a lot of confusion to users that set the option to 'y', |