diff --git a/misc/config_tools/schema/types.xsd b/misc/config_tools/schema/types.xsd index e3920d4f5..96885fd68 100644 --- a/misc/config_tools/schema/types.xsd +++ b/misc/config_tools/schema/types.xsd @@ -128,20 +128,15 @@ Read more about the available scheduling options in :ref:`cpu_sharing`. - - - - - - Either empty or a string naming the shared region, its size, and the VM IDs that can access it, such as ``hv:/shm_region_0, 2, 0:2``. See :ref:`ivshmem-hv` for more information. - - + + + @@ -152,7 +147,7 @@ See :ref:`ivshmem-hv` for more information. feature. - + A comma-separated list with the inter-VM shared memory region name, size, and VM IDs that may communicate using this shared region: