2 files changed, 6 insertions, 0 deletions
diff --git a/src/boot.c b/src/boot.c
index ea18194d..5182ab42 100644
--- a/src/boot.c
+++ b/src/boot.c
@@ -295,6 +295,11 @@ find_prio(const char *glob)
     return -1;
 }
 
+u8 is_bootprio_strict(void)
+{
+    return find_prio("HALT") >= 0;
+}
+
 int bootprio_find_pci_device(struct pci_device *pci)
 {
     if (CONFIG_CSM)
diff --git a/src/util.h b/src/util.h
index b173fa88..d96db788 100644
--- a/src/util.h
+++ b/src/util.h
@@ -27,6 +27,7 @@ void boot_add_cd(struct drive_s *drive_g, const char *desc, int prio);
 void boot_add_cbfs(void *data, const char *desc, int prio);
 void interactive_bootmenu(void);
 void bcv_prepboot(void);
+u8 is_bootprio_strict(void);
 struct pci_device;
 int bootprio_find_pci_device(struct pci_device *pci);
 int bootprio_find_scsi_device(struct pci_device *pci, int target, int lun);