#!/bin/bash
# -*- shell-script -*-
# qemu-sanity-check
-# Copyright (C) 2013-2023 Red Hat Inc.
+# Copyright (C) 2013-2024 Red Hat Inc.
+# @configure_input@
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# Locate kernel if not specified.
if [ -z "$kernel" ]; then
+ if [ "$verbose" = "yes" ]; then
+ echo "all kernels:"
+ ls -1dvr /boot/vmlinuz-*.$arch*
+ fi
kernel="$(ls -1dvr /boot/vmlinuz-*.$arch* 2>/dev/null | grep -v xen | head -1)"
if [ -z "$kernel" ]; then
echo "$0: cannot find a Linux kernel in /boot"
# Locate qemu if not specified.
if [ -z "$qemu" ]; then
+ if [ "$verbose" = "yes" ]; then
+ echo "all qemus:" @QEMU_LIST@
+ fi
for q in @QEMU_LIST@; do
if "$q" --help >/dev/null 2>&1; then
qemu="$q"