docs: Add example for isa-debugcon

Most people will want to use isa-debugcon to obtain debug output
for SeaBIOS / EDK II, so let's include a ready-made example for
that scenario in our documentation.

Signed-off-by: Andrea Bolognani <abologna@redhat.com>
Reviewed-by: Daniel P. Berrangé <berrange@redhat.com>

diff --git a/docs/formatdomain.rst b/docs/formatdomain.rst
index 8fa5940469dcc230232fb4498cc5b98b294b295b..24611f0f09357fcf1a1ab28318888935931921f1 100644 (file)
--- a/docs/formatdomain.rst
+++ b/docs/formatdomain.rst
@@ -6395,6 +6395,12 @@ Serial port
        <source path='/dev/pts/3'/>
        <target port='0'/>
      </serial>
+     <!-- Debug port for SeaBIOS / EDK II -->
+     <serial type='pty'>
+       <target type='isa-debug'/>
+       <address type='isa' iobase='0x402'/>
+     </console>
+
    </devices>
    ...