Add a new configuration drop-in file that loads the bli module and runs
the command if booting on the EFI platform.
Signed-off-by: Oliver Steffen <ostef...@redhat.com>
---
Makefile.util.def | 6 ++++++
util/grub.d/25_bli.in | 24 ++++++++++++++++++++++++
2 files changed, 30 insertions(+)
create mode 100644 util/grub.d/25_bli.in
diff --git a/Makefile.util.def b/Makefile.util.def
index fdbd58c8f..1e9a13d3e 100644
--- a/Makefile.util.def
+++ b/Makefile.util.def
@@ -511,6 +511,12 @@ script = {
condition = COND_HOST_LINUX;
};
+script = {
+ name = '25_bli';
+ common = util/grub.d/25_bli.in;
+ installdir = grubconf;
+};
+
script = {
name = '30_os-prober';
common = util/grub.d/30_os-prober.in;
diff --git a/util/grub.d/25_bli.in b/util/grub.d/25_bli.in
new file mode 100644
index 000000000..6e4538716
--- /dev/null
+++ b/util/grub.d/25_bli.in
@@ -0,0 +1,24 @@
+#!/usr/bin/sh
+set -e
+
+# grub-mkconfig helper script.
+# Copyright (C) 2023 Free Software Foundation, Inc.
+#
+# GRUB is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# GRUB is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with GRUB. If not, see <http://www.gnu.org/licenses/>.
+
+cat << EOF
+if [ "\$grub_platform" = "efi" ]; then
+ insmod bli
+fi
+EOF
--
2.40.1
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
