diff --git a/misc/config_tools/schema/types.xsd b/misc/config_tools/schema/types.xsd index 35fbe5581..9bb2e0aec 100644 --- a/misc/config_tools/schema/types.xsd +++ b/misc/config_tools/schema/types.xsd @@ -130,18 +130,13 @@ Read more about the available scheduling options in :ref:`cpu_sharing`. - - - - - - Either empty or a string. - - + + + @@ -151,7 +146,7 @@ Read more about the available scheduling options in :ref:`cpu_sharing`.Enable inter-VM shared memory (IVSHMEM) feature. - + A comma-separated list with the inter-VM shared memory region name, size, and VM IDs that may communicate using this shared region: