From 65c606b09bf0cd648b41408f29299b66020a8a89 Mon Sep 17 00:00:00 2001
From: Johan Degn <54548365+johandegn@users.noreply.github.com>
Date: Tue, 7 Mar 2023 12:11:20 +0100
Subject: [PATCH] grub-file: add page (#9917)

---
 pages/linux/grub-file.md | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 pages/linux/grub-file.md

diff --git a/pages/linux/grub-file.md b/pages/linux/grub-file.md
new file mode 100644
index 000000000..c38c8c89d
--- /dev/null
+++ b/pages/linux/grub-file.md
@@ -0,0 +1,28 @@
+# grub-file
+
+> Check if a file is of a specific bootable image type.
+> More information: <https://manned.org/grub-file>.
+
+- Check if a file is an ARM EFI image:
+
+`grub-file --is-arm-efi {{path/to/file}}`
+
+- Check if a file is an i386 EFI image:
+
+`grub-file --is-i386-efi {{path/to/file}}`
+
+- Check if a file is an x86_64 EFI image:
+
+`grub-file --is-x86_64-efi {{path/to/file}}`
+
+- Check if a file is an ARM image (Linux kernel):
+
+`grub-file --is-arm-linux {{path/to/file}}`
+
+- Check if a file is an x86 image (Linux kernel):
+
+`grub-file --is-x86-linux {{path/to/file}}`
+
+- Check if a file is an x86_64 XNU image (Mac OS X kernel):
+
+`grub-file --is-x86_64-xnu {{path/to/file}}`