diff --git a/tests/driver-nova.nix b/tests/driver-nova.nix index 52ee08e..6978ec2 100644 --- a/tests/driver-nova.nix +++ b/tests/driver-nova.nix @@ -93,7 +93,7 @@ let global spawn_id spawn ${hostPkgs.qemu}/bin/qemu-system-x86_64 -cdrom ${iso} -nographic \ - -M pc -m size=${toString qemuMem} + -machine q35 -m size=${toString qemuMem} wait_for_output $wait_for_re $timeout_value $spawn_id } diff --git a/tests/pci.dhall b/tests/pci.dhall index 28b1028..1adbc45 100644 --- a/tests/pci.dhall +++ b/tests/pci.dhall @@ -53,5 +53,12 @@ in λ ( _ (Some "acpi") (None Text) ] + , config = + Genode.Prelude.XML.text + '' + + + + '' } }