diff --git a/docs/schemas/cputypes.rng b/docs/schemas/cputypes.rng new file mode 100644 index 0000000000..7cc9dd3d83 --- /dev/null +++ b/docs/schemas/cputypes.rng @@ -0,0 +1,135 @@ + + + + + + + + custom + host-model + host-passthrough + + + + + + + + minimum + exact + strict + + + + + + + + + + allow + forbid + + + + + + + [^,]{12} + + + + + + + + + + + + + + + + + + + + + force + require + optional + disable + forbid + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + shared + private + + + + + + + + + + + + + [a-zA-Z0-9\-_\.]+ + + + + diff --git a/docs/schemas/domaincommon.rng b/docs/schemas/domaincommon.rng index 751d9141de..95c7882cb7 100644 --- a/docs/schemas/domaincommon.rng +++ b/docs/schemas/domaincommon.rng @@ -4,6 +4,7 @@ + - - - @@ -5564,11 +5442,6 @@ [0-9]{1,20} - - - [a-zA-Z0-9\-_\.]+ - - (-|\+)?[0-9]+