In case the Linux guest has no compressed linux kernel (vmlinuz), fallback to uncompressed ones (vmlinux). Reported by: Laurent Vivier. --- get-kernel/get_kernel.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/get-kernel/get_kernel.ml b/get-kernel/get_kernel.ml index 3015c0fca..e485cf495 100644 --- a/get-kernel/get_kernel.ml +++ b/get-kernel/get_kernel.ml @@ -144,6 +144,9 @@ and pick_kernel_files_linux (g : Guestfs.guestfs) root = let kernels = glob "/boot/vmlinuz-*" in let initrds = glob "/boot/initramfs-*" in + (* Uncompressed kernels: *) + let kernels = if kernels <> [] then kernels else glob "/boot/vmlinux-*" in + (* Old RHEL: *) let initrds = if initrds <> [] then initrds else glob "/boot/initrd-*" in