On 06/09/2016 19:18, Marcel Apfelbaum wrote:
> diff --git a/tests/bios-tables-test.c b/tests/bios-tables-test.c
> index de4019e..ac8ddfd 100644
> --- a/tests/bios-tables-test.c
> +++ b/tests/bios-tables-test.c
> @@ -711,9 +711,11 @@ static void test_acpi_one(const char *params, test_data
> *data)
> {
> char *args;
>
> - args = g_strdup_printf("-net none -display none %s "
> + args = g_strdup_printf("-machine %s,accel=%s,kernel-irqchip=off "
> + "-cpu qemu64 -net none -display none %s "
> "-drive id=hd0,if=none,file=%s,format=raw "
> - "-device ide-hd,drive=hd0 ",
> + "-device ide-hd,drive=hd0",
> + data->machine, "kvm:tcg",
> params ? params : "", disk);
qemu64 is the default for qemu-system-x86_64; perhaps you wanted "-cpu
kvm64"?
Paolo