ioemu-remote: Use xenstore's direct_pci instead of the one from the
command line if there is some pass-through devices.
Signed-off-by: Jean Guyader <jean.guyader@xxxxxxxxxxxxx>
--
Jean Guyader
diff --git a/vl.c b/vl.c
index 442faf8..b619343 100644
--- a/vl.c
+++ b/vl.c
@@ -8804,6 +8816,9 @@ int main(int argc, char **argv)
}
}
+ if (strlen(direct_pci_str) > 0)
+ direct_pci = direct_pci_str;
+
machine->init(ram_size, vga_ram_size, boot_devices, ds,
kernel_filename, kernel_cmdline, initrd_filename, cpu_model,
direct_pci);
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
|