diff --git a/doc/scripts/configdoc.xsl b/doc/scripts/configdoc.xsl
index d5757f23d..c98b70edc 100644
--- a/doc/scripts/configdoc.xsl
+++ b/doc/scripts/configdoc.xsl
@@ -9,6 +9,9 @@
+
+
+
@@ -96,7 +99,7 @@
-
-
+
diff --git a/misc/config_tools/schema/VMtypes.xsd b/misc/config_tools/schema/VMtypes.xsd
index cf2cb1f4f..94f905d3b 100644
--- a/misc/config_tools/schema/VMtypes.xsd
+++ b/misc/config_tools/schema/VMtypes.xsd
@@ -345,7 +345,7 @@ to the pre-launched VM.
- A passthrough pci device.
+ A passthrough PCI device.
@@ -355,7 +355,7 @@ to the pre-launched VM.
- rootfs for the Linux kernel.
+ Rootfs for the Linux kernel.
diff --git a/misc/config_tools/schema/config.xsd b/misc/config_tools/schema/config.xsd
index 01b0a2c26..ce42eb186 100644
--- a/misc/config_tools/schema/config.xsd
+++ b/misc/config_tools/schema/config.xsd
@@ -53,9 +53,9 @@ written to the serial console.
Bitmap indicating the destination of log messages.
There are three log destinations available:
-- bit 0 enables the serial console (``0x1``),
-- bit 1 enables the Service VM log (``0x2``), and
-- bit 2 enables the NPK log (``0x4``).
+- Bit 0 enables the serial console (``0x1``),
+- Bit 1 enables the Service VM log (``0x2``), and
+- Bit 2 enables the NPK log (``0x4``).
For example, a value of ``3`` enables only the
serial console and Service VM logs. Effective only in debug builds (when
@@ -63,7 +63,7 @@ serial console and Service VM logs. Effective only in debug builds (when
- integer value from 0 to 7.
+ Integer value from 0 to 7.
@@ -74,7 +74,7 @@ serial console and Service VM logs. Effective only in debug builds (when
Capacity (in bytes) of logbuf for each
-physical cpu, for example, ``0x40000``.
+physical CPU, for example, ``0x40000``.
@@ -222,7 +222,7 @@ initialization.
- integer from 1 to 10.
+ Integer from 1 to 10.
@@ -241,7 +241,7 @@ initialization.
- integer from 1 to 1024.
+ Integer from 1 to 1024.
@@ -255,7 +255,7 @@ initialization.
- integer from 1 to 120.
+ Integer from 1 to 120.
@@ -275,7 +275,7 @@ devices.
- integer value from 1 to 2048.
+ Integer value from 1 to 2048.
@@ -289,7 +289,7 @@ devices.
- integer value from 1 to 128.
+ Integer value from 1 to 128.
diff --git a/misc/config_tools/schema/types.xsd b/misc/config_tools/schema/types.xsd
index 22e6045b4..823009d0c 100644
--- a/misc/config_tools/schema/types.xsd
+++ b/misc/config_tools/schema/types.xsd
@@ -3,7 +3,7 @@
- A boolean value, written as ``y`` or ``n``.
+ A Boolean value, written as ``y`` or ``n``.
@@ -13,7 +13,7 @@
- An integer value in hexadecimal format.
+ An Integer value in hexadecimal format.
@@ -28,21 +28,21 @@
- Either empty, or an integer value in hexadecimal format.
+ Either empty, or an Integer value in hexadecimal format.
- Either empty, or an integer value in hexadecimal format.
+ Either empty, or an Integer value in hexadecimal format.
- integer from 1 to 2048.
+ Integer from 1 to 2048.
@@ -52,7 +52,7 @@
- Either empty, or an integer value between 1 and 2048.
+ Either empty, or an Integer value between 1 and 2048.
@@ -65,14 +65,14 @@
- An integer value in hexadecimal format.
+ An Integer value in hexadecimal format.
- An integer from 0 to 7 representing log message
+ An Integer from 0 to 7 representing log message
severity and intent:
- 1 (LOG_FATAL) system is unusable