Configure QEMU with q35 machine model

4 years ago · 318d718724
parent d812f2b3a9
commit 318d718724
2 changed files with 8 additions and 1 deletions
--- 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
        }

--- a/tests/pci.dhall
+++ b/tests/pci.dhall
@ -53,5 +53,12 @@ in    λ ( _
                  (Some "acpi")
                  (None Text)
              ]
+          , config =
+              Genode.Prelude.XML.text
+                ''
+                <config>
+                	<policy label_prefix="test-pci"> <pci class="ALL"/> </policy>
+                </config>
+                ''
          }
      }