diff --git a/misc/config_tools/schema/VMtypes.xsd b/misc/config_tools/schema/VMtypes.xsd
index 77d6c87f7..8f50069cf 100644
--- a/misc/config_tools/schema/VMtypes.xsd
+++ b/misc/config_tools/schema/VMtypes.xsd
@@ -414,6 +414,14 @@ device file when user config it as virtio serial port, which can be read and wri
+
+
+
+
+
+
+
+
A string with either ``Non-Windows OS`` or ``Windows OS``.
diff --git a/misc/config_tools/schema/checks/virtio_devices.xsd b/misc/config_tools/schema/checks/virtio_devices.xsd
new file mode 100644
index 000000000..87556cc24
--- /dev/null
+++ b/misc/config_tools/schema/checks/virtio_devices.xsd
@@ -0,0 +1,17 @@
+
+
+
+
+
+
+
+ "{$vm/name}" repeats a vsock CID assignment: {$vsock}, either with this VM or with other VMs. Remove the duplicates.
+
+
+
+
diff --git a/misc/config_tools/schema/config.xsd b/misc/config_tools/schema/config.xsd
index 0c70660b0..b69dd3f26 100644
--- a/misc/config_tools/schema/config.xsd
+++ b/misc/config_tools/schema/config.xsd
@@ -444,22 +444,6 @@ 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.
@@ -491,6 +475,13 @@ mouse, and tablet. It sends Linux input layer events over virtio.
+
+
+ Specify the post-launched VM's unique Context ID (CID) used by vsock (integer greater than 2).
+vsock provides a way for the host system and applications running in a user VM to communicate with each other using the standard socket interface.
+vsock uses a (context id, port) pair of integers for identifying processes. The host system CID is always 2. The port is hardcoded in our implementation.
+
+
diff --git a/misc/config_tools/schema/datachecks.xsd b/misc/config_tools/schema/datachecks.xsd
index fc9badf53..8f6e34102 100644
--- a/misc/config_tools/schema/datachecks.xsd
+++ b/misc/config_tools/schema/datachecks.xsd
@@ -14,6 +14,7 @@
+