From 1a40ada700a376a6aa887e1836a9776dfabc4b02 Mon Sep 17 00:00:00 2001
From: TNE <tne@garudalinux.org>
Date: Fri, 24 Mar 2023 02:23:30 +0100
Subject: [PATCH] grub: set ibt=off via drop in file

---
 etc/default/grub.d/00_garuda-kernel-params.cfg | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 etc/default/grub.d/00_garuda-kernel-params.cfg

diff --git a/etc/default/grub.d/00_garuda-kernel-params.cfg b/etc/default/grub.d/00_garuda-kernel-params.cfg
new file mode 100644
index 0000000..eb14349
--- /dev/null
+++ b/etc/default/grub.d/00_garuda-kernel-params.cfg
@@ -0,0 +1,6 @@
+if [[ ! $GRUB_CMDLINE_LINUX_DEFAULT =~ ibt=[^[:space:]]+ ]]; then
+    GRUB_CMDLINE_LINUX_DEFAULT="${GRUB_CMDLINE_LINUX_DEFAULT:+$GRUB_CMDLINE_LINUX_DEFAULT }ibt=off"
+fi
+if [ -z "${GRUB_DISABLE_OS_PROBER+x}" ]; then
+  GRUB_DISABLE_OS_PROBER=false
+fi