diff --git a/misc/config_tools/launch_config/launch_cfg_gen.py b/misc/config_tools/launch_config/launch_cfg_gen.py index 9c9a3372f..0a8b34b36 100755 --- a/misc/config_tools/launch_config/launch_cfg_gen.py +++ b/misc/config_tools/launch_config/launch_cfg_gen.py @@ -326,6 +326,9 @@ def generate_for_one_vm(board_etree, hv_scenario_etree, vm_scenario_etree, vm_id if virtio_gpu is not None: script.add_virtual_device("virtio-gpu", options=virtio_gpu) + for vsock in eval_xpath_all(vm_scenario_etree, ".//virtio_devices/vsock[text() != '']/text()"): + script.add_virtual_device("vhost-vsock", options="cid="+vsock) + # Passthrough PCI devices bdf_regex = re.compile("([0-9a-f]{2}):([0-1][0-9a-f]).([0-7])") for passthru_device in eval_xpath_all(vm_scenario_etree, ".//pci_devs/*/text()"): diff --git a/misc/config_tools/schema/config.xsd b/misc/config_tools/schema/config.xsd index efebaa863..3a358357c 100644 --- a/misc/config_tools/schema/config.xsd +++ b/misc/config_tools/schema/config.xsd @@ -445,6 +445,22 @@ argument and memory. This feature enables you to view the VM's GPU output in the Service VM. + + + vsock is the new socket address family for host/guest communication. +CID is the identifier for this VM. + + + + + Integer between 3 ~ (-2U). + + + + + + Virtio console device for data input and output.