The file command tests whether the provided filename is the
type provided by is_file_type. When the file is of type
is_file_type this command will return 0, otherwise it will return
non-zero (no output is provided to the terminal).
is_file_type may be one of the following options:
- --is-i386-xen-pae-domu Check if filename can be booted as i386
PAE Xen unprivileged guest kernel
- --is-x86_64-xen-domu Check if filename can be booted as x86_64
Xen unprivileged guest kernel
- --is-x86-xen-dom0 Check if filename can be used as Xen x86
privileged guest kernel
- --is-x86-multiboot Check if filename can be used as x86
multiboot kernel
- --is-x86-multiboot2 Check if filename can be used as x86
multiboot2 kernel
- --is-arm-linux Check if filename is ARM Linux
- --is-arm64-linux Check if filename is ARM64 Linux
- --is-ia64-linux Check if filename is IA64 Linux
- --is-mips-linux Check if filename is MIPS Linux
- --is-mipsel-linux Check if filename is MIPSEL Linux
- --is-sparc64-linux Check if filename is SPARC64 Linux
- --is-powerpc-linux Check if filename is POWERPC Linux
- --is-x86-linux Check if filename is x86 Linux
- --is-x86-linux32 Check if filename is x86 Linux supporting
32-bit protocol
- --is-x86-kfreebsd Check if filename is x86 kFreeBSD
- --is-i386-kfreebsd Check if filename is i386 kFreeBSD
- --is-x86_64-kfreebsd Check if filename is x86_64 kFreeBSD
- --is-x86-knetbsd Check if filename is x86 kNetBSD
- --is-i386-knetbsd Check if filename is i386 kNetBSD
- --is-x86_64-knetbsd Check if filename is x86_64 kNetBSD
- --is-i386-efi Check if filename is i386 EFI file
- --is-x86_64-efi Check if filename is x86_64 EFI file
- --is-ia64-efi Check if filename is IA64 EFI file
- --is-arm64-efi Check if filename is ARM64 EFI file
- --is-arm-efi Check if filename is ARM EFI file
- --is-riscv32-efi Check if filename is RISC-V 32bit EFI file
- --is-riscv64-efi Check if filename is RISC-V 64bit EFI file
- --is-hibernated-hiberfil Check if filename is hiberfil.sys in
hibernated state
- --is-x86_64-xnu Check if filename is x86_64 XNU (Mac OS X kernel)
- --is-i386-xnu Check if filename is i386 XNU (Mac OS X kernel)
- --is-xnu-hibr Check if filename is XNU (Mac OS X kernel)
hibernated image
- --is-x86-bios-bootsector Check if filename is BIOS bootsector